BooksPrice.com

book price comparison

Strichman, Ofer books & textbook

Decision Procedures: An Algorithmic Point of View (Texts in Theoretical Computer Science. An EATCS Series)

Kroening, Daniel  Strichman, Ofer  

Springer /2018-07-13 Paperback / 377 Pages
isbn-10: 3662570653 / isbn-13: 9783662570654
   

compare price



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

Strichman, Ofer  Tzoref-Brill, Rachel  

Springer /2017-11-12 Paperback / 275 Pages
isbn-10: 3319703889 / isbn-13: 9783319703886
   

compare price



Decision Procedures: An Algorithmic Point of View (Texts in Theoretical Computer Science. An EATCS Series)

Ofer Strichman R. E. Bryant Daniel Kroening  Ofer Strichman  

Springer /2010-01-01 Paperback / 306 Pages
isbn-10: 3642093442 / isbn-13: 9783642093449
   

compare price



Efficient Decision Procedures for Validation: Translation Validation, decision procedures for equality logic, and SAT tuning for Bounded Model Checking

Strichman, Ofer  

LAP LAMBERT Academic Publishing /2010-05-15 Paperback / 116 Pages
isbn-10: 3838300823 / isbn-13: 9783838300825
   

compare price



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, 6175)

Strichman, Ofer  Szeider, Stefan  

Springer /2010-06-30 Paperback / 413 Pages
isbn-10: 3642141854 / isbn-13: 9783642141850
   

compare price