|
|

avaa valikko

Lawrence C Paulson | Akateeminen Kirjakauppa

Haullasi löytyi yhteensä 5 tuotetta
Haluatko tarkentaa hakukriteerejä?



Lawrence C. Paulson
Cambridge University Press
1990
Pehmeäkantinen kirja
Logic and Computation: Interactive Proof with Cambridge LCF
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
64,80 €
Paulson, Lawrence C.
Springer
1994
Pehmeäkantinen kirja
Isabelle : A Generic Theorem Prover
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
51,10 €
Paulson, Lawrence C.
Cambridge University Press
1987
Kovakantinen kirja
Logic and Computation
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
139,60 €
Nipkow, Tobias; Paulson, Lawrence C.; Wenzel, Markus
Springer
2002
Pehmeäkantinen kirja
Isabelle/HOL : A Proof Assistant for Higher-Order Logic
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
61,10 €
Kaufmann, Matt; Paulson, Lawrence C.
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
2010
Pehmeäkantinen kirja
Interactive Theorem Proving - First International Conference, ITP 2010 Edinburgh, UK, July 11-14, 2010, Proceedings
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
100,90 €