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
On special
Brand
Cambridge UniversityPress
Springer-Verlag
Filter Results
Showing 4 of 4 Results in All Departments
Relevance
Interactive Theorem Proving and Program Development - Coq'Art: The Calculus of Inductive Constructions (Hardcover, 2004 ed.)
Yves Bertot
,
Pierre Casteran
R
3,578
Add to Cart
Ships in 10 - 15 working days
Interactive Theorem Proving and Program Development - Coq'Art: The Calculus of Inductive Constructions (Paperback, Softcover reprint of hardcover 1st ed. 2004)
Yves Bertot
,
Pierre Casteran
R
2,551
Add to Cart
Ships in 10 - 15 working days
Theorem Proving in Higher Order Logics - 12th International Conference, TPHOLs'99, Nice, France, September 14-17, 1999, Proceedings (Paperback, 1999 ed.)
R
1,730
Add to Cart
Ships in 10 - 15 working days
From Semantics to Computer Science - Essays in Honour of Gilles Kahn (Hardcover)
R
3,256
Add to Cart
Ships in 12 - 17 working days