Sell, buy or rent Ofer Strichman textbooks

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

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

by Daniel Kroening, Ofer Strichman
ISBN-13: 9783662504963
ISBN-10: 3662504960
Edition: 2nd ed. 2016
Publication date: 2017
Publisher: Springer
Format: Hardcover 377 pages
Sell Buy from $79.34 Rent from $58.31 eBook from $16.50
9783662570654-3662570653-Decision Procedures: An Algorithmic Point of View (Texts in Theoretical Computer Science. An EATCS Series)
9783662570654-3662570653-Decision Procedures: An Algorithmic Point of View (Texts in Theoretical Computer Science. An EATCS Series)

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

by Daniel Kroening, Ofer Strichman
ISBN-13: 9783662570654
ISBN-10: 3662570653
Edition: Softcover reprint of the original 2nd ed. 2016
Publication date: 2018
Publisher: Springer
Format: Paperback 377 pages
Sell Buy from $52.78 Rent from $39.71
9783642141850-3642141854-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)
9783642141850-3642141854-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)

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)

by Ofer Strichman, Stefan Szeider
ISBN-13: 9783642141850
ISBN-10: 3642141854
Edition: 2010
Publisher: Springer
Format: Paperback 413 pages
Sell Shop now at Amazon
9783642093449-3642093442-Decision Procedures: An Algorithmic Point of View (Texts in Theoretical Computer Science. An EATCS Series)
9783642093449-3642093442-Decision Procedures: An Algorithmic Point of View (Texts in Theoretical Computer Science. An EATCS Series)

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

by Ofer Strichman R. E. Bryant Daniel Kroening, Ofer Strichman
ISBN-13: 9783642093449
ISBN-10: 3642093442
Edition: Softcover reprint of
Publication date: 2010
Publisher: Springer
Format: Paperback 306 pages
9783540741046-3540741046-Decision Procedures: An Algorithmic Point of View (Texts in Theoretical Computer Science. An EATCS Series)
9783540741046-3540741046-Decision Procedures: An Algorithmic Point of View (Texts in Theoretical Computer Science. An EATCS Series)

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

by Daniel Kroening, Ofer Strichman
ISBN-13: 9783540741046
ISBN-10: 3540741046
Edition: 2008
Publisher: Springer
Format: Hardcover 322 pages
Sell Buy from $66.16
cookies

We use cookies to ensure website functionality: improve our services, personalize your experience, analyze performance and traffic, and process orders efficiently. To learn more, check our Privacy Policy.