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-Verlag
Filter Results
Showing 2 of 2 Results in All Departments
Relevance
Interactive Theorem Proving - Third International Conference, ITP 2012, Princeton, NJ, USA, August 13-15, 2012. Proceedings (Paperback, 2012 ed.)
R
1,622
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