Knygos pagal Lawrence C. Paulson
Produktų, atitinkančių pasirinkimą, nerasta.
-25%
Isabelle: A Generic Theorem Prover
63,51 €
84,68 €
-25% su kodu BOOKS
Turime sandėlyje pas mūsų tiekėją
-25%
Logic and Computation: Interactive Proof with Cambridge Lcf
106,94 €
142,58 €
-25% su kodu BOOKS
Turime sandėlyje pas mūsų tiekėją
-25%
ML for the Working Programmer
Lawrence C. Paulson, Larry C. Paulson
144,59 €
192,79 €
-25% su kodu BOOKS
Turime sandėlyje pas mūsų tiekėją
-25%
Isabelle/HOL: A Proof Assistant for Higher-Order Logic
Markus Wenzel, Lawrence C. Paulson, Tobias Nipkow
76,22 €
101,62 €
-25% su kodu BOOKS
Turime sandėlyje pas mūsų tiekėją
-25%
Interactive Theorem Proving First International Conference, ITP 2010 Edinburgh, UK, July 11-14, 2010, Proceedings
Matt Kaufmann, Lawrence C. Paulson
160,39 €
213,85 €
-25% su kodu BOOKS
Turime sandėlyje pas mūsų tiekėją