Hoppa till sidans huvudinnehåll

Thorsten Altenkirch – författare

Visar alla böcker från författaren Thorsten Altenkirch.
3 produkter
Thorsten Altenkirch, Isaac Triguero - Conceptual Programming with Python, Häftad

Conceptual Programming with Python

AvThorsten Altenkirch,Isaac Triguero

Häftad, Engelska, 2020

309 kr

Skickas inom 5-8 vardagar

Thorsten Altenkirch, Wolfgang Naraschewski, Bernhard Reus - Types for Proofs and Programs, Häftad

Types for Proofs and Programs

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

AvThorsten Altenkirch,Wolfgang Naraschewskim. fl.

Häftad, Engelska, 1999

729 kr

Skickas inom 10-15 vardagar

Thorsten Altenkirch, Conor McBride - Types for Proofs and Programs, Häftad

Types for Proofs and Programs

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

AvThorsten Altenkirch,Conor McBride

Häftad, Engelska, 2007

729 kr

Skickas inom 10-15 vardagar