Types for Proofs and Programs: Inteational Workshop,

2014-02-02 分类：农业

Types for Proofs and Programs: Inteational Workshop, TYPES 2006, Nottingham, UK, April 18-21, 2006, Revised Selected Papers (Lecture Notes in .. Computer Science and General Issues)

Hardcover: 272 pages

Publisher: Springer (October 1, 2007)

Language: English

ISBN-10: 3540744630

电子书代发PDF格式价格10元我要求助

未经允许不得转载：Wow! eBook » Types for Proofs and Programs: Inteational Workshop,

相关推荐