Jean-Christophe Filliatre - Böcker

Visar alla böcker från författaren Jean-Christophe Filliatre.
1 produkt
Jean-Christophe Filliatre, Christine Paulin-Mohring, Benjamin Werner - Types for Proofs and Programs, Häftad

Types for Proofs and Programs

Av Jean-Christophe Filliatre, Christine Paulin-Mohring, Benjamin Werner

Häftad, Engelska, 2006

739 kr

Skickas inom 7-10 vardagar