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

Av Lawrence C. Paulson, Lawrence C. (University of Cambridge) Paulson m. fl

Häftad, Engelska, 1990

899 kr

Skickas inom 10-15 vardagar

ML for the Working Programmer

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

Häftad, Engelska, 1996

1 079 kr

Skickas inom 10-15 vardagar

Isabelle/HOL

A Proof Assistant for Higher-Order Logic

Av Tobias Nipkow, Lawrence C. Paulson m. fl

Häftad, Engelska, 2002

779 kr

Skickas inom 10-15 vardagar

Isabelle

A Generic Theorem Prover

Av Lawrence C. Paulson

Häftad, Engelska, 1994

709 kr

Skickas inom 10-15 vardagar

Interactive Theorem Proving

First International Conference, ITP 2010 Edinburgh, UK, July 11-14, 2010, Proceedings

Av Matt Kaufmann, Lawrence C. Paulson

Häftad, Engelska, 2010

1 459 kr

Skickas inom 10-15 vardagar