Books by Lawrence C. Paulson
No products found matching the selection.
-20%
Logic and Computation: Interactive Proof with Cambridge Lcf
€114.06
€142.58
-20% with code BOOKS
In stock at our supplier
-20%
ML for the Working Programmer
Lawrence C. Paulson, Larry C. Paulson
€154.23
€192.79
-20% with code BOOKS
In stock at our supplier
-20%
Isabelle/HOL: A Proof Assistant for Higher-Order Logic
Markus Wenzel, Lawrence C. Paulson, Tobias Nipkow
€81.30
€101.62
-20% with code BOOKS
In stock at our supplier
-20%
Interactive Theorem Proving First International Conference, ITP 2010 Edinburgh, UK, July 11-14, 2010, Proceedings
Matt Kaufmann, Lawrence C. Paulson
€171.08
€213.85
-20% with code BOOKS
In stock at our supplier