|
|
Title |
Author / Artist |
Prod Type |
ISBN/ISBN-13 or UPC |
Pub Date |
Price |
| ![](thumb.php?src=products/354/9783540665373.jpg&wmax=80&hmax=80) | Types for Proofs and Programs: International Workshop, Types '98, Kloster Irsee, Germany, March 27-31, 1998, Selected Papers 1999 Edition (Lecture Notes in Computer Science) | Altenkirch, Thorsten | Paperback | 3540665374 / 9783540665373 | 09/1999 | $52.24 |
| ![](thumb.php?src=products/354/9783540744634.jpg&wmax=80&hmax=80) | Types for Proofs and Programs: International Workshop, Types 2006, Nottingham, Uk, April 18-21, 2006, Revised Selected Papers 2007 Edition (Lecture Notes in Computer Science) | Altenkirch, Thorsten | Paperback | 3540744630 / 9783540744634 | 10/2007 | $52.24 |
|
|
|