Lawrence C. Paulson – författare

Visar alla böcker från författaren Lawrence C. Paulson.

4 produkter

Kategorier

4 produkter

Del 2
Del 2 - Cambridge Tracts in Theoretical Computer Science
Logic and Computation
Interactive Proof with Cambridge LCF
AvLawrence C. Paulson,C. J. Van Rijsbergenm. fl.
Häftad, Engelska, 1990
979 kr
Skickas inom 5-8 vardagar
Isabelle/HOL
A Proof Assistant for Higher-Order Logic
AvTobias Nipkow,Lawrence C. Paulsonm. fl.
Häftad, Engelska, 2002
869 kr
Skickas inom 10-15 vardagar
Isabelle
A Generic Theorem Prover
AvLawrence C. Paulson
Häftad, Engelska, 1994
749 kr
Skickas inom 10-15 vardagar
Interactive Theorem Proving
First International Conference, ITP 2010 Edinburgh, UK, July 11-14, 2010, Proceedings
AvMatt Kaufmann,Lawrence C. Paulson
Häftad, Engelska, 2010
1 479 kr
Skickas inom 10-15 vardagar