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-Verlag
Filter Results
Showing 4 of 4 Results in All Departments
Relevance
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
Mathematics of Program Construction - 9th International Conference, MPC 2008 Marseille, France, July 15-18, 2008 Proceedings (Paperback, 2008 ed.)
R
1,625
Add to Cart
Ships in 10 - 15 working days
Types for Proofs and Programs - International Workshop, TYPES 2004, Jouy-en-Josas, France, December 15-18, 2004, Revised Selected Papers (Paperback, 2006 ed.)
R
1,677
Add to Cart
Ships in 10 - 15 working days
Types for Proofs and Programs - International Workshop TYPES'96, Aussois, France, December 15-19, 1996 Selected Papers (Paperback, 1998 ed.)
R
1,738
Add to Cart
Ships in 10 - 15 working days