All Departments
Hi
ALL DEPARTMENTS
Daily
deals
My Orders
Wishlist
Help
Sell On Loot
Arts & Crafts
Baby
Books
Computers
DIY & Tools
Electronics
Fashion
Fragrances
Games
Garden
Health & Beauty
Home
Kitchen & Appliances
Movies & TV
Music
Outdoor
Pets
Sport
Stationery & Office
Toys
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 4 Results in All Departments
Relevance
From Semantics to Computer Science - Essays in Honour of Gilles Kahn (Hardcover)
R
3,256
Add to Cart
Ships in 12 - 17 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,513
Add to Cart
Ships in 10 - 15 working days
Interactive Theorem Proving and Program Development - Coq'Art: The Calculus of Inductive Constructions (Hardcover, 2004 ed.)
Yves Bertot
,
Pierre Casteran
R
3,527
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,707
Add to Cart
Ships in 10 - 15 working days