Logic-Based Program Synthesis and Transformation: 16th

Logic-Based Program Synthesis and Transformation: 16th Inteational Symposium, LOPSTR 2006, Venice, Italy, July 12-14, 2006, Revised Selected Papers .. Computer Science and General Issues)

Hardcover: 240 pages

Publisher: Springer (March 16, 2007)

Language: English

ISBN-10: 354071409X

电子书代发PDF格式价格10我要求助
未经允许不得转载:Wow! eBook » Logic-Based Program Synthesis and Transformation: 16th