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
ISTE Press Ltd - Elsevier Inc
Springer International Publishing AG
Filter Results
Showing 2 of 2 Results in All Departments
Relevance
Numerical Software Verification - 10th International Workshop, NSV 2017, Heidelberg, Germany, July 22-23, 2017, Proceedings (Paperback, 1st ed. 2017)
R
1,958
Add to Cart
Ships in 10 - 15 working days
SAVE
R
378
Computer Arithmetic and Formal Proofs - Verifying Floating-point Algorithms with the Coq System (Hardcover)
Sylvie Boldo
,
Guillaume Melquiond
List Price
R
3,982
R
3,604
Add to Cart
Ships in 12 - 17 working days