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ț: 329^.81 lei 412^.25 lei

22-36 zile

-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ț: 415^.13 lei 518^.91 lei

43-57 zile

-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ț: 321^.96 lei 402^.45 lei

43-57 zile

-20%

Efficient Decision Procedures for Validation

Autor Ofer Strichman

26 oct 2009

Preț: 270^.63 lei 338^.29 lei

43-57 zile

-20%