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-Verlag
Filter Results
Showing 3 Results in All Departments
Relevance
Verified Software: Theories, Tools, Experiments - Third International Conference, VSTTE 2010, Edinburgh, UK, August 16-19, 2010, Proceedings (Paperback, Edition.)
R
1,535
Add to Cart
Ships in 10 - 15 working days
Computer Aided Verification - 17th International Conference, CAV 2005, Edinburgh, Scotland, UK, July 6-10, 2005, Proceedings (Paperback, 2005 ed.)
R
3,243
Add to Cart
Ships in 10 - 15 working days
Model Checking Software - 10th International SPIN Workshop. Portland, OR, USA, May 9-10, 2003, Proceedings (Paperback, 2003 ed.)
R
1,545
Add to Cart
Ships in 10 - 15 working days