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
Filter Results
Showing 4 of 4 Results in All Departments
Relevance
Formal Methods for Industrial Critical Systems - 12th International Workshop, FMICS 2007, Berlin, Germany, July 1-2, 2007, Revised Selected Papers (Paperback, 2008 ed.)
R
1,580
Add to Cart
Ships in 10 - 15 working days
Scenarios: Models, Transformations and Tools - International Workshop, Dagstuhl Castle, Germany, September 7-12, 2003, Revised Selected Papers (Paperback, 2005 ed.)
R
1,679
Add to Cart
Ships in 10 - 15 working days
Model Checking Software - 9th International SPIN Workshop Grenoble, France, April 11-13, 2002 Proceedings (Paperback, 2002 ed.)
R
1,584
Add to Cart
Ships in 10 - 15 working days
Theoretical and Practical Aspects of SPIN Model Checking - 5th and 6th International SPIN Workshops, Trento, Italy, July 5, 1999, Toulouse, France, September 21 and 24, 1999, Proceedings (Paperback, 1999 ed.)
R
1,677
Add to Cart
Ships in 10 - 15 working days