Logic-Based Program Synthesis and Transformation: 18th

2014-02-01 分类：计算机与互联网

Logic-Based Program Synthesis and Transformation: 18th Inteational Symposium, LOPSTR 2008, Valencia, Spain, July 17-18, 2008, Revised Selected .. Computer Science and General Issues)

Hardcover: 185 pages

Publisher: Springer (February 27, 2009)

Language: English

ISBN-10: 3642005144

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

未经允许不得转载：Wow! eBook » Logic-Based Program Synthesis and Transformation: 18th

相关推荐