Typed Lambda Calculi and Applications: 8th

2015-05-23 分类：计算机与技术

Typed Lambda Calculi and Applications: 8th Inteational Conference, TLCA 2007, Paris, France, June 26-28, 2007, Proceedings (Lecture Notes in .. Computer Science and General Issues)

Hardcover: 397 pages

Publisher: Springer (June 15, 2007)

Language: English

ISBN-10: 3540732276

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

未经允许不得转载：Wow! eBook » Typed Lambda Calculi and Applications: 8th

相关推荐