James McKinna - Böcker

Visar alla böcker från författaren James McKinna.

1 produkt

Kategorier

1 produkt

Types for Proofs and Programs

International Workshop, TYPES 2000, Durham, UK, December 8-12, 2000. Selected Papers

Av Paul Callaghan, Zhaohui Luo m. fl

Häftad, Engelska, 2002

709 kr

Skickas inom 10-15 vardagar