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
Lap Lambert Academic Publishing
Springer International Publishing AG
Springer-Verlag
Filter Results
Showing 5 of 5 Results in All Departments
Relevance
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
Hardware and Software: Verification and Testing - 13th International Haifa Verification Conference, HVC 2017, Haifa, Israel, November 13-15, 2017, Proceedings (Paperback, 1st ed. 2017)
R
2,379
Add to Cart
Ships in 10 - 15 working days
Efficient Decision Procedures for Validation (Paperback)
Ofer Strichman
R
1,317
Add to Cart
Ships in 10 - 15 working days