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

AvPaul Callaghan,Zhaohui Luo,James McKinna,Robert Pollack

Häftad, Engelska, 2002

689 kr

Skickas inom 10-15 vardagar