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 m. fl.

Häftad, Engelska, 1990

889 kr

Skickas inom 10-15 vardagar

ML for the Working Programmer

AvLarry C. Paulson,Larry C. (University of Cambridge) Paulson m. fl.

Häftad, Engelska, 1996

1 069 kr

Skickas inom 10-15 vardagar

Isabelle/HOL

A Proof Assistant for Higher-Order Logic

AvTobias Nipkow,Lawrence C. Paulson m. fl.

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 409 kr

Skickas inom 10-15 vardagar