|
|
Title |
Author / Artist |
Prod Type |
ISBN/ISBN-13
or UPC |
Pub
Date |
Price |
|  | Types for Proofs and Programs: International Conference, Types 2008 Torino, Italy, March 26-29, 2008 Revised Selected Papers 2009 Edition (Lecture Notes in Computer Science / Theoretical Computer Sci) | Berardi, Stefano | Paperback | 3642024432 /
9783642024436 | 06/2009 | $52.24 |
|  | Types for Proofs and Programs: International Workshop, Types '95, Torino, Italy, June 5 - 8, 1995 Selected Papers 1996 Edition (Lecture Notes in Computer Science,) | Berardi, Stefano | Paperback | 3540617809 /
9783540617808 | 10/1996 | $52.24 |
|  | Types for Proofs and Programs: International Workshop, Types 2003, Torino, Italy, April 30 - May 4, 2003, Revised Selected Papers 2004 Edition (Lecture Notes) | Berardi, Stefano | Paperback | 3540221646 /
9783540221647 | 06/2004 | $52.24 |
|
|
|