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 International Publishing AG
Springer-Verlag
Filter Results
Showing 5 Results in All Departments
Relevance
Dependable Software Engineering. Theories, Tools, and Applications - 4th International Symposium, SETTA 2018, Beijing, China, September 4-6, 2018, Proceedings (Paperback, 1st ed. 2018)
R
1,557
Add to Cart
Ships in 10 - 15 working days
Variations on Constants - Flow Analysis of Sequential and Parallel Programs (Paperback, 2006 ed.)
Markus Muller-Olm
R
1,594
Add to Cart
Ships in 10 - 15 working days
Modular Compiler Verification - A Refinement-Algebraic Approach Advocating Stepwise Abstraction (Paperback, 1997 ed.)
Markus Muller-Olm
R
1,647
Add to Cart
Ships in 10 - 15 working days
Verification, Model Checking, and Abstract Interpretation - 10th International Conference, VMCAI 2009, Savannah, GA, USA, January 18-20, 2009. Proceedings (Paperback, 2008 ed.)
R
1,589
Add to Cart
Ships in 10 - 15 working days
Static Analysis - 21st International Symposium, SAS 2014, Munich, Germany, September 11-13, 2014. Proceedings (Paperback, 2014 ed.)
R
2,604
Add to Cart
Ships in 10 - 15 working days