Christine Paulin-Mohring

Visar alla böcker från författaren Christine Paulin-Mohring. Handla med fri frakt och snabb leverans.

1. 

   Types for Proofs and Programs

   2006

   • Häftad 576 kr
   • E-bok 739 kr
   • Häftad 576 kr
2. 

   Mathematics of Program Construction

   2008

   • Häftad 576 kr
   • E-bok 755 kr
3. 

   Interactive Theorem Proving

   2013

   • Häftad 576 kr
   • E-bok 739 kr