search for books and compare prices
Ofer Strichman has written 2 work(s)
Search for other authors with the same name
displaying 1 to 2 | at end
show results in order: alphabetically | oldest to newest | newest to oldest
Cover for 9783540741046 Cover for 9783662504963 Cover for 9783642093449 Cover for 9783642141850
Decision Procedures: An Algorithmic Point of View
cover image for 9783662504963
By Ofer Strichman
See complete details on each edition (3 editions listed)

Hardcover:

9783662504963 | 2 edition (Springer-Verlag New York Inc, November 7, 2016), cover price $59.99
9783540741046 | Springer-Verlag New York Inc, July 4, 2008, cover price $69.95

Paperback:

9783642093449 | Springer Verlag, July 4, 2008, cover price $69.95

Theory and Applications of Satisfiability Testing-SAT 2010: 13th International Conference, SAT 2010, Edinburgh, UK, July 11-14, 2010 Proceedings
cover image for 9783642141850
By Ofer Strichman (editor) and Stefan Szeider (editor)
See complete details on each edition (1 edition listed)

Paperback:

9783642141850 | Springer-Verlag New York Inc, October 30, 2010, cover price $129.00

displaying 1 to 2 | at end