James McKinna – författare

Visar alla böcker från författaren James McKinna. Handla med fri frakt och snabb leverans.

2 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

   552 kr

   Lägg i varukorg

   This book contains a selection of papers presented at the ?rst annual workshop of the TYPES Working Group (Computer-Assisted Reasoning Based on Type Theory, EU IST project 29001), which was held 8th - 12th of December, 2000 at the University of Durham, Durham, UK. It was attended by about 80 …

2. 

   Types for Proofs and Programs

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

   Av Robert Pollack, James McKinna m. fl.

   E-bok, 2003

   718 kr

   Lägg i varukorg