Cărți de Ofer Strichman

Theory and Applications of Satisfiability Testing - SAT 2010: 13th International Conference, SAT 2010, Edinburgh, UK, July 11-14, 2010, Proceedings

Lecture Notes in Computer Science, nr. 6175

Editat de Ofer Strichman et al.

30 iun 2010

Preț: 332^.64 lei 415^.80 lei

3-5 săpt.

-20%

Decision Procedures: An Algorithmic Point of View

Texts in Theoretical Computer Science. An EATCS Series

Autor Daniel Kroening et al.

23 mai 2008

Preț: 418^.72 lei 523^.39 lei

6-8 săpt.

-20%

Hardware and Software: Verification and Testing: 13th International Haifa Verification Conference, HVC 2017, Haifa, Israel, November 13-15, 2017, Proceedings

Lecture Notes in Computer Science, nr. 10629

Editat de Ofer Strichman et al.

12 noi 2017

Preț: 324^.74 lei 405^.93 lei

6-8 săpt.

-20%

Efficient Decision Procedures for Validation

Autor Ofer Strichman

26 oct 2009

Preț: 272^.97 lei 341^.21 lei

6-8 săpt.

-20%