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

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