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
Filter Results
Showing 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,287
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,753
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,755
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,664
Add to Cart
Ships in 10 - 15 working days