CartSellback ListOrder LookupSupport
ValoreBooks logo
Cancel
Showing 1 - 12 of 12 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
$37.80 (Save 45%) $20.65 (Save 70%)
2.
Hardware and Software: Verification and Testing: 6th International Haifa Verification Confer...
Hardware and Software: Verification and Testing: 6th International Haifa Verification Confer... by Barner, Sharon, Harris, Ian... ISBN: 9783642195822 List Price: $72.00
$51.31 (Save 28%)
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
$134.28
4.
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
5.
Computer Aided Verification : 27th International Conference, CAV 2015, San Francisco, CA, US...
Computer Aided Verification : 27th International Conference, CAV 2015, San Francisco, CA, US... by Kroening, Daniel, Psreanu, ... ISBN: 9783319216898 List Price: $119.00
$51.31 (Save 56%)
6.
Model Checking
Model Checking by Clarke, Edmund M., Jr., Gru... ISBN: 9780262038836 List Price: $75.00
$142.36 Own it? Sell it back for $10.98
7.
Validation of Evolving Software
Validation of Evolving Software by Chockler, Hana, Kroening, D... ISBN: 9783319382005 List Price: $109.00
$51.31 (Save 52%)
8.
Hardware and Software : Verification and Testing
Hardware and Software : Verification and Testing by Barner, Sharon, Harris, Ian... ISBN: 9783642195846 List Price: $24.99

OUT OF STOCK

See Availability on Amazon
9.
Computer Aided Verification : 27th International Conference, CAV 2015, San Francisco, CA, US...
Computer Aided Verification : 27th International Conference, CAV 2015, San Francisco, CA, US... by Kroening, Daniel, Psreanu, ... ISBN: 9783319216676 List Price: $95.00
$51.31 (Save 45%)
10.
Verified Software : Theories, Tools and Experiments: 6th International Conference, Vstte 201...
Verified Software : Theories, Tools and Experiments: 6th International Conference, Vstte 201... by Giannakopoulou, Dimitra, Kr... ISBN: 9783319121550 List Price: $24.99

OUT OF STOCK

See Availability on Amazon
11.
Validation of Evolving Software
Validation of Evolving Software by Chockler, Hana, Kroening, D... ISBN: 9783319106229 List Price: $109.00
$51.31 (Save 52%)
12.
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%)