Lawrence C. Paulson - Böcker
Visar alla böcker från författaren Lawrence C. Paulson.
5 produkter
5 produkter
Del 2 - Cambridge Tracts in Theoretical Computer Science
Logic and Computation
Interactive Proof with Cambridge LCF
Häftad, Engelska, 1990
889 kr
Skickas inom 10-15 vardagar
Häftad, Engelska, 1996
1 069 kr
Skickas inom 10-15 vardagar
Häftad, Engelska, 2002
759 kr
Skickas inom 10-15 vardagar
Häftad, Engelska, 1994
689 kr
Skickas inom 10-15 vardagar
Häftad, Engelska, 2010
1 409 kr
Skickas inom 10-15 vardagar