Types for Proofs and Programs: Inteational

Types for Proofs and Programs: Inteational Conference, TYPES 2008 Torino, Italy, March 26-29, 2008 Revised Selected Papers (Lecture Notes in .. Computer Science and General Issues)

Hardcover: 323 pages

Publisher: Springer (June 19, 2009)

Language: English

ISBN-10: 3642024432

电子书代发PDF格式价格10我要求助
未经允许不得转载:Wow! eBook » Types for Proofs and Programs: Inteational