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
Cambridge UniversityPress
Springer International Publishing AG
Springer-Verlag
Filter Results
Showing 4 of 4 Results in All Departments
Relevance
Static Analysis - 22nd International Symposium, SAS 2015, Saint-Malo, France, September 9-11, 2015, Proceedings (Paperback, 1st ed. 2015)
R
2,615
Add to Cart
Ships in 10 - 15 working days
Interactive Theorem Proving - 4th International Conference, ITP 2013, Rennes, France, July 22-26, 2013, Proceedings (Paperback, 2013 ed.)
R
1,649
Add to Cart
Ships in 10 - 15 working days
Program Logics for Certified Compilers (Hardcover)
Andrew W. Appel
R
2,409
Add to Cart
Ships in 12 - 17 working days
Verified Software. Theories, Tools, and Experiments - 8th International Conference, VSTTE 2016, Toronto, ON, Canada, July 17-18, 2016, Revised Selected Papers (Paperback, 1st ed. 2016)
R
2,193
Add to Cart
Ships in 10 - 15 working days