Jean-Christophe Filliatre – författare

Visar alla böcker från författaren Jean-Christophe Filliatre.

1 produkt

Kategorier

1 produkt

Types for Proofs and Programs

International Workshop, TYPES 2004, Jouy-en-Josas, France, December 15-18, 2004, Revised Selected Papers

AvJean-Christophe Filliatre,Christine Paulin-Mohringm. fl.

Häftad, Engelska, 2006

719 kr

Skickas inom 10-15 vardagar