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 10 of 10 Results in All Departments
Relevance
Concrete Semantics - With Isabelle/HOL (Paperback, Softcover reprint of the original 1st ed. 2014)
Tobias Nipkow
,
Gerwin Klein
R
2,491
Add to Cart
Ships in 10 - 15 working days
Theorem Proving in Higher Order Logics - 22nd International Conference, TPHOLs 2009, Munich, Germany, August 17-20, 2009, Proceedings (Paperback, 2009 ed.)
R
1,655
Add to Cart
Ships in 10 - 15 working days
FM 2006: Formal Methods - 14th International Symposium on Formal Methods, Hamilton, Canada, August 21-27, 2006, Proceedings (Paperback, 2006 ed.)
R
3,111
Add to Cart
Ships in 10 - 15 working days
Term Rewriting and All That (Paperback, Revised)
Franz Baader
,
Tobias Nipkow
R
1,582
Add to Cart
Ships in 12 - 17 working days
Isabelle/HOL - A Proof Assistant for Higher-Order Logic (Paperback, 2002 ed.)
Tobias Nipkow
,
Lawrence C. Paulson
,
Markus Wenzel
R
1,775
Add to Cart
Ships in 10 - 15 working days
Automated Reasoning - First International Joint Conference, IJCAR 2001 Siena, Italy, June 18-23, 2001 Proceedings (Paperback, 2001 ed.)
R
3,376
Add to Cart
Ships in 10 - 15 working days
Rewriting Techniques and Applications - 9th International Conference, RTA-98, Tsukuba, Japan, March 30 - April 1, 1998, Proceedings (Paperback, 1998 ed.)
R
1,721
Add to Cart
Ships in 10 - 15 working days
Higher-Order Algebra, Logic, and Term Rewriting - First International Workshop, HOA '93, Amsterdam, The Netherlands, September 23 - 24, 1993. Selected Papers (Paperback, 1994 ed.)
R
1,724
Add to Cart
Ships in 10 - 15 working days
Types for Proofs and Programs - International Workshop TYPES '93, Nijmegen, The Netherlands, May 24 - 28, 1993. Selected Papers (Paperback, 1994 ed.)
R
1,751
Add to Cart
Ships in 10 - 15 working days
Concrete Semantics - With Isabelle/HOL (Hardcover, 2014 ed.)
Tobias Nipkow
,
Gerwin Klein
List Price
R
2,375
R
2,319
Add to Cart
Ships in 12 - 17 working days