Raamatud Lawrence C. Paulson
Valikule vastavaid tooteid ei leitud.
-30%
Logic and Computation: Interactive Proof with Cambridge Lcf
99,81 €
142,58 €
-30% koodiga BOOKS
Meie tarnija laos
-30%
ML for the Working Programmer
Lawrence C. Paulson, Larry C. Paulson
134,95 €
192,79 €
-30% koodiga BOOKS
Meie tarnija laos
-30%
Isabelle/HOL: A Proof Assistant for Higher-Order Logic
Markus Wenzel, Lawrence C. Paulson, Tobias Nipkow
71,13 €
101,62 €
-30% koodiga BOOKS
Meie tarnija laos
-30%
Interactive Theorem Proving First International Conference, ITP 2010 Edinburgh, UK, July 11-14, 2010, Proceedings
Matt Kaufmann, Lawrence C. Paulson
149,70 €
213,85 €
-30% koodiga BOOKS
Meie tarnija laos