Jean-Christophe Filliatre - Böcker

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

Av Jean-Christophe Filliatre, Christine Paulin-Mohring m. fl

Häftad, Engelska, 2006

729 kr

Skickas inom 10-15 vardagar