James McKinna - Böcker

Visar alla böcker från författaren James McKinna.
1 produkt
Paul Callaghan, Zhaohui Luo, James McKinna, Robert Pollack - Types for Proofs and Programs, Häftad
Del 2277 - Lecture Notes in Computer Science

Types for Proofs and Programs

Av Paul Callaghan, Zhaohui Luo, James McKinna, Robert Pollack

Häftad, Engelska, 2002

719 kr

Skickas inom 7-10 vardagar