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
Springer-Verlag New York
Filter Results
Showing 8 Results in All Departments
Relevance
Runtime Verification - 9th International Workshop, RV 2009, Grenoble, France, June 26-28, 2009, Selected Papers (Paperback, 2009 ed.)
R
1,557
Add to Cart
Ships in 10 - 15 working days
Model Checking and Artificial Intelligence - 5th International Workshop, MoChArt 2008, Patras, Greece, July 21, 2008, Revised Selected and Invited Papers (Paperback, 2009 ed.)
R
1,527
Add to Cart
Ships in 10 - 15 working days
Verification, Model Checking, and Abstract Interpretation - 9th International Conference, VMCAI 2008, San Francisco, USA, January 7-9, 2008, Proceedings (Paperback, 2008 ed.)
R
1,571
Add to Cart
Ships in 10 - 15 working days
Automated Technology for Verification and Analysis - Third International Symposium, ATVA 2005, Taipei, Taiwan, October 4-7, 2005, Proceedings (Paperback, 2005 ed.)
R
1,800
Add to Cart
Ships in 10 - 15 working days
Computer Aided Verification - 16th International Conference, CAV 2004, Boston, MA, USA, July 13-17, 2004, Proceedings (Paperback, 2004 ed.)
R
3,222
Add to Cart
Ships in 10 - 15 working days
Formal Techniques for Networked and Distributed Systems - FORTE 2002 - 22nd IFIP WG 6.1 International Conference Houston, Texas, USA, November 11-14, 2002, Proceedings (Paperback, XI, 371p.)
R
1,715
Add to Cart
Ships in 10 - 15 working days
Software Reliability Methods (Hardcover, 2001 ed.)
Doron A. Peled
R
1,614
Add to Cart
Ships in 10 - 15 working days
Software Reliability Methods (Paperback, 2001)
Doron A. Peled
R
1,576
Add to Cart
Ships in 10 - 15 working days