James McKinna – författare

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

1 produkter

1. 

   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, 2002

   709 kr

   Lägg i varukorg