Lawrence C. (University of Cambridge) Paulson - Böcker

Visar alla böcker från författaren Lawrence C. (University of Cambridge) Paulson.

1 produkt

Kategorier

1 produkt

Del 2

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