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-Verlag
Springer-Verlag New York
Filter Results
Showing 8 of 8 Results in All Departments
Relevance
Software Reliability Methods (Hardcover, 2001 ed.)
Doron A. Peled
R
1,637
Add to Cart
Ships in 10 - 15 working days
Runtime Verification - 9th International Workshop, RV 2009, Grenoble, France, June 26-28, 2009, Selected Papers (Paperback, 2009 ed.)
R
1,580
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,550
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,595
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,823
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,268
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,738
Add to Cart
Ships in 10 - 15 working days
Software Reliability Methods (Paperback, 2001)
Doron A. Peled
R
1,599
Add to Cart
Ships in 10 - 15 working days