Hoppa till sidans huvudinnehåll

Lawrence C. Paulson - Böcker

Visar alla böcker från författaren Lawrence C. Paulson.
5 produkter
Del 2 - Cambridge Tracts in Theoretical Computer Science

Logic and Computation

Interactive Proof with Cambridge LCF

AvLawrence C. Paulson,Lawrence C. (University of Cambridge) Paulson,C. J. Van Rijsbergen,C. J. van Rijsbergen,Samson Abramsky

Häftad, Engelska, 1990

869 kr

Skickas inom 7-10 vardagar

ML for the Working Programmer

AvLarry C. Paulson,Larry C. (University of Cambridge) Paulson,Lawrence C. Paulson

Häftad, Engelska, 1996

1 049 kr

Skickas inom 7-10 vardagar

Isabelle/HOL

A Proof Assistant for Higher-Order Logic

AvTobias Nipkow,Lawrence C. Paulson,Markus Wenzel

Häftad, Engelska, 2002

759 kr

Skickas inom 10-15 vardagar

Isabelle

A Generic Theorem Prover

AvLawrence C. Paulson

Häftad, Engelska, 1994

689 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 429 kr

Skickas inom 10-15 vardagar