Lawrence C. Paulson grāmatas
Logic and Computation: Interactive Proof with Cambridge Lcf
-30% ar kodu BOOKS
Piegādātāja noliktavā
ML for the Working Programmer
Lawrence C. Paulson, Larry C. Paulson
-30% ar kodu BOOKS
Piegādātāja noliktavā
Isabelle/HOL: A Proof Assistant for Higher-Order Logic
Markus Wenzel, Lawrence C. Paulson, Tobias Nipkow
-30% ar kodu BOOKS
Piegādātāja noliktavā
Interactive Theorem Proving First International Conference, ITP 2010 Edinburgh, UK, July 11-14, 2010, Proceedings
Matt Kaufmann, Lawrence C. Paulson
-30% ar kodu BOOKS
Piegādātāja noliktavā