All Departments
Departments
Dailydeals
My Orders
Help
Sell On Loot
Filter by Category
All Departments
Books
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 5 of 5 Results in All Departments
Relevance
Logic for Programming, Artificial Intelligence, and Reasoning - 15th International Conference, LPAR 2008, Doha, Qatar, November 22-27, 2008, Proceedings (Paperback, 2008 ed.)
R
3,140
Add to Cart
Ships in 10 - 15 working days
Computer Aided Verification - 25th International Conference, CAV 2013, Saint Petersburg, Russia, July 13-19, 2013, Proceedings (Paperback, 2013 ed.)
R
3,239
Add to Cart
Ships in 10 - 15 working days
25 Years of Model Checking - History, Achievements, Perspectives (Paperback, 2008 ed.)
R
1,122
Add to Cart
Ships in 10 - 15 working days
Handbook of Model Checking (Hardcover, 1st ed. 2018)
R
3,603
Add to Cart
Ships in 12 - 17 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