All 1 Thosten Altenkirch releases on Paperback Book
Categories
Other
Support
HKD
In stock at iMusic
Show unavailable items
![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 Book) [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-book&class=scaled&v=1442249643)