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
Springer International Publishing AG
Springer-Verlag
Filter Results
Showing 3 of 3 Results in All Departments
Relevance
Tests and Proofs - 12th International Conference, TAP 2018, Held as Part of STAF 2018, Toulouse, France, June 27-29, 2018, Proceedings (Paperback, 1st ed. 2018)
R
1,580
Add to Cart
Ships in 10 - 15 working days
Formal Approaches to Software Testing and Runtime Verification - First Combined International Workshops FATES 2006 and RV 2006, Seattle, WA, USA, August 15-16, 2006, Revised Selected Papers (Paperback, 2006 ed.)
R
1,580
Add to Cart
Ships in 10 - 15 working days
Theorem Proving in Higher Order Logics - 16th International Conference, TPHOLs 2003, Rom, Italy, September 8-12, 2003, Proceedings (Paperback, 2003 ed.)
R
1,736
Add to Cart
Ships in 10 - 15 working days