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 International Publishing AG
Springer-Verlag
Filter Results
Showing 5 of 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,580
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,617
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,671
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,627
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,612
Add to Cart
Ships in 10 - 15 working days