Lawrence C. Paulson – författare
Visar alla böcker från författaren Lawrence C. Paulson. Handla med fri frakt och snabb leverans.
4 produkter
4 produkter
Del 2 - Cambridge Tracts in Theoretical Computer Science
Logic and Computation
Interactive Proof with Cambridge LCF
Häftad, Engelska, 1990
899 kr
Skickas inom 7-10 vardagar
839 kr
Skickas inom 10-15 vardagar
719 kr
Skickas inom 10-15 vardagar
Interactive Theorem Proving
First International Conference, ITP 2010 Edinburgh, UK, July 11-14, 2010, Proceedings
Häftad, Engelska, 2010
1 429 kr
Skickas inom 10-15 vardagar