All Departments
Departments
Dailydeals
My Orders
Help
Sell On Loot
Filter by Category
All Departments
Books
Promotions
Filter by Price
Min Price
Max Price
Clear
Apply
Status
Available to order
Brand
MIT Press
Springer International Publishing AG
Springer-Verlag
Filter Results
Showing 11 of 11 Results in All Departments
Relevance
SAVE
R
1,691
Validation of Evolving Software (Hardcover, 2015 ed.)
List Price
R
3,659
R
1,968
Add to Cart
Ships in 12 - 17 working days
SAVE
R
777
Decision Procedures - An Algorithmic Point of View (Hardcover, 2nd ed. 2016)
Daniel Kroening
,
Ofer Strichman
List Price
R
2,513
R
1,736
Add to Cart
Ships in 12 - 17 working days
Decision Procedures - An Algorithmic Point of View (Hardcover, 2008 ed.)
Daniel Kroening
,
Ofer Strichman
R
2,050
Add to Cart
Ships in 12 - 17 working days
Decision Procedures - An Algorithmic Point of View (Paperback, Softcover reprint of the original 2nd ed. 2016)
Daniel Kroening
,
Ofer Strichman
R
1,607
Add to Cart
Ships in 10 - 15 working days
Validation of Evolving Software (Paperback, Softcover reprint of the original 1st ed. 2015)
R
2,230
Add to Cart
Ships in 10 - 15 working days
Hardware and Software: Verification and Testing - 6th International Haifa Verification Conference, HVC 2010, Haifa, Israel, October 4-7, 2010. Revised Selected Papers (Paperback, 2011 ed.)
R
1,580
Add to Cart
Ships in 10 - 15 working days
Computer Aided Verification - 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part I (Paperback, 1st ed. 2015)
R
1,709
Add to Cart
Ships in 10 - 15 working days
Verified Software: Theories, Tools and Experiments - 6th International Conference, VSTTE 2014, Vienna, Austria, July 17-18, 2014, Revised Selected Papers (Paperback, 2014 ed.)
R
2,453
Add to Cart
Ships in 10 - 15 working days
Computer Aided Verification - 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part II (Paperback, 1st ed. 2015)
R
3,036
Add to Cart
Ships in 10 - 15 working days
Digitaltechnik - Eine praxisnahe Einfuhrung (German, Paperback, 2008 ed.)
Armin Biere
,
Daniel Kroening
,
Georg Weissenbacher
,
Christoph M Wintersteiger
R
915
Add to Cart
Ships in 10 - 15 working days
SAVE
R
256
Model Checking (Hardcover, second edition)
Edmund M. Clarke Jr
,
Orna Grumberg
,
Daniel Kroening
,
Doron Peled
,
Helmut Veith
List Price
R
2,177
R
1,921
Add to Cart
Ships in 9 - 15 working days