All Departments
Hi
ALL DEPARTMENTS
Daily
deals
My Orders
Wishlist
Help
Sell On Loot
Arts & Crafts
Baby
Books
Computers
DIY & Tools
Electronics
Fashion
Fragrances
Games
Garden
Health & Beauty
Home
Kitchen & Appliances
Movies & TV
Music
Outdoor
Pets
Sport
Stationery & Office
Toys
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 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,557
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,557
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,713
Add to Cart
Ships in 10 - 15 working days