Ofer Strichman

Popular items by Ofer Strichman

View all offers

Decision Procedures: An Algorithmic Point of View (Texts in Theoretical Computer Science. An EATCS Series)
Kroening, Daniel; Strichman, Ofer

Item prices starting from

US$ 37.81

View 38 offers

Also find
New, Used
Decision Procedures
Kroening, Daniel; Strichman, Ofer

Item prices starting from

US$ 59.20

View 16 offers

Also find
New, Used
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)

Item prices starting from

US$ 57.36

View 2 offers

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

Item prices starting from

US$ 65.35

View 15 offers

Also find
New, Used