Logic-Based Program Synthesis and Transformation
23rd International Symposium, LOPSTR 2013, Madrid, Spain, September 18-19, 2013, Revised Selected Papers
Lecture Notes in Computer Science / Theoretical Computer Science and General Issues .8901
Herausgegeben von Gupta, Gopal
Peñ
a, Ricardo
- 出版社：Springer, Berlin; Springer International Publishing
- 出版年月：2014年 12月
- ISBN：9783319141244
- 装丁：PAP
-
装丁について
- 版次：2014. 2014. xii