Sommerudsalg - Op til 60 % rabat
Alle 1 Thosten Altenkirch-udgivelser på Paperback Bog
Kategorier
Andet
Kundeservice
DKK
![Cover for Thosten Altenkirch · Types for Proofs and Programs: International Workshop, TYPES 2006, Nottingham, UK, April 18-21, 2006, Revised Selected Papers - Theoretical Computer Science and General Issues (Paperback Bog) [2007 edition] (2007)](https://imusic.b-cdn.net/images/item/original/634/9783540744634.jpg?thosten-altenkirch-2007-types-for-proofs-and-programs-international-workshop-types-2006-nottingham-uk-april-18-21-2006-revised-selected-papers-theoretical-computer-science-and-general-issues-paperback-bog&class=scaled&v=1442249643)