CartSellback ListOrder LookupSupport
ValoreBooks logo
Cancel
Showing 1 - 7 of 7 Results
1.
Decision Procedures: An Algorithmic Point of View
Decision Procedures: An Algorithmic Point of View by Kroening, Daniel, Strichman... ISBN: 9783540741046 List Price: $69.95
$66.19 (Save 5%)
2.
Theory and Applications of Satisfiability Testing - SAT 2010 : 13th International Conference...
Theory and Applications of Satisfiability Testing - SAT 2010 : 13th International Conference... by Strichman, Ofer, Szeider, S... ISBN: 9783642141850 List Price: $95.00

OUT OF STOCK

See Availability on Amazon
3.
Decision Procedures : An Algorithmic Point of View
Decision Procedures : An Algorithmic Point of View by Kroening, Daniel, Strichman... ISBN: 9783642093449 List Price: $69.95

OUT OF STOCK

See Availability on Amazon
4.
Efficient Decision Procedures for Validation: Translation Validation, decision procedures fo...
Efficient Decision Procedures for Validation: Translation Validation, decision procedures fo... by Strichman, Ofer ISBN: 9783838300825 List Price: $74.00
$46.23 (Save 37%)
5.
Decision Procedures : An Algorithmic Point of View
Decision Procedures : An Algorithmic Point of View by Kroening, Daniel, Strichman... ISBN: 9783662504963 List Price: $59.99
$78.49
6.
Decision Procedures: An Algorithmic Point of View (Texts in Theoretical Computer Science. An...
Decision Procedures: An Algorithmic Point of View (Texts in Theoretical Computer Science. An... by Kroening, Daniel, Strichman... ISBN: 9783662570654 List Price: $79.99
$52.33 (Save 34%)
7.
Hardware and Software: Verification and Testing : 13th International Haifa Verification Conf...
Hardware and Software: Verification and Testing : 13th International Haifa Verification Conf... by Strichman, Ofer, Tzoref-Bri... ISBN: 9783319703886 List Price: $72.00
$51.31 (Save 28%)