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
869 kr
Skickas inom 7-10 vardagar
1 049 kr
Skickas inom 7-10 vardagar
759 kr
Skickas inom 10-15 vardagar
689 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