Lawrence C. Paulson

Visar alla böcker från författaren Lawrence C. Paulson. Handla med fri frakt och snabb leverans.

1. 

   Logic and Computation

   1990

   • Häftad 753 kr
2. 

   Isabelle/HOL

   2002

   • Häftad 669 kr
3. 

   Isabelle/HOL

   2003

   • E-bok 815 kr
4. 

   Interactive Theorem Proving

   2010

   • Häftad 1144 kr
   • E-bok 1470 kr
5. 

   Isabelle

   1994

   • Häftad 576 kr