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 5 of 5 Results in All Departments
Relevance
Computer Aided Verification - 19th International Conference, CAV 2007, Berlin, Germany, July 3-7, 2007, Proceedings (Paperback, 2007 ed.)
R
1,671
Add to Cart
Ships in 10 - 15 working days
Integration of Software Specification Techniques for Applications in Engineering - Priority Program SoftSpez of the German Research Foundation (DFG) Final Report (Paperback, 2004 ed.)
R
1,900
Add to Cart
Ships in 10 - 15 working days
Formal Techniques in Real-Time and Fault-Tolerant Systems - 7th International Symposium, FTRTFT 2002, Co-sponsored by IFIP WG 2.2, Oldenburg, Germany, September 9-12, 2002. Proceedings (Paperback, 2002 ed.)
R
1,792
Add to Cart
Ships in 10 - 15 working days
Practical Formal Methods for Hardware Design (Paperback, Softcover reprint of the original 1st ed. 1997)
R
1,584
Add to Cart
Ships in 10 - 15 working days
Entwurf Und Verifikation Mikroprogrammierter Rechnerarchitekturen (German, Paperback, 1987 ed.)
Werner Damm
R
1,728
Add to Cart
Ships in 10 - 15 working days