Thorsten Altenkirch – författare

Visar alla böcker från författaren Thorsten Altenkirch.

3 produkter

1. 

   Conceptual Programming with Python

   Av Thorsten Altenkirch, Isaac Triguero

   Häftad, 2020

   329 kr

   Lägg i varukorg

2. 

   Types for Proofs and Programs

   International Workshop, TYPES '98, Kloster Irsee, Germany, March 27-31, 1998, Selected Papers

   Av Thorsten Altenkirch, Wolfgang Naraschewski m. fl.

   Häftad, 1999

   729 kr

   Lägg i varukorg

3. 

   Types for Proofs and Programs

   International Workshop, TYPES 2006, Nottingham, UK, April 18-21, 2006, Revised Selected Papers

   Av Thorsten Altenkirch, Conor McBride

   Häftad, 2007

   729 kr

   Lägg i varukorg