Lawrence C. Paulson - Böcker

Visar alla böcker från författaren Lawrence C. Paulson.
5 produkter
Larry C. (University of Cambridge) Paulson, Lawrence C. Paulson, Larry C. Paulson - ML for the Working Programmer, Häftad

ML for the Working Programmer

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

Häftad, Engelska, 1996

1 099 kr

Skickas inom 7-10 vardagar
Tobias Nipkow, Lawrence C. Paulson, Markus Wenzel - Isabelle/HOL, Häftad
Del 2283 - Lecture Notes in Computer Science

Isabelle/HOL

Av Tobias Nipkow, Lawrence C. Paulson, Markus Wenzel

Häftad, Engelska, 2002

779 kr

Skickas inom 7-10 vardagar
Lawrence C. Paulson - Isabelle, Häftad
Del 828 - Lecture Notes in Computer Science

Isabelle

Av Lawrence C. Paulson

Häftad, Engelska, 1994

709 kr

Skickas inom 7-10 vardagar
Matt Kaufmann, Lawrence C. Paulson - Interactive Theorem Proving, Häftad

Interactive Theorem Proving

Av Matt Kaufmann, Lawrence C. Paulson

Häftad, Engelska, 2010

1 449 kr

Skickas inom 7-10 vardagar