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
Computer Aided Verification - 14th International Conference, CAV 2002 Copenhagen, Denmark, July 27-31, 2002 Proceedings (Paperback, 2002 ed.)
R
3,334
Add to Cart
Ships in 10 - 15 working days
Lectures on Formal Methods and Performance Analysis - First EEF/Euro Summer School on Trends in Computer Science Berg en Dal, The Netherlands, July 3-7, 2000. Revised Lectures (Paperback, 2001 ed.)
R
1,777
Add to Cart
Ships in 10 - 15 working days
Tools and Algorithms for the Construction and Analysis of Systems - Third International Workshop, TACAS'97, Enschede, The Netherlands, April 2-4, 1997, Proceedings (Paperback, 1997 ed.)
R
1,779
Add to Cart
Ships in 10 - 15 working days
Tools and Algorithms for the Construction and Analysis of Systems - First International Workshop, TACAS '95, Aarhus, Denmark, May 19 - 20, 1995. Selected Papers (Paperback, 1995 ed.)
R
1,688
Add to Cart
Ships in 10 - 15 working days