Jean-Christophe Filliatre

Visar alla böcker från författaren Jean-Christophe Filliatre. Handla med fri frakt och snabb leverans.

1. 

   Types for Proofs and Programs

   2006

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