Logic-Based Program Synthesis and Transformation
22nd International Symposium, LOPSTR 2012, Leuven, Belgium, September 18-20, 2012, Revised Selected Papers
Lecture Notes in Computer Science / Theoretical Computer Science and General Issues .7844
Herausgegeben von Albert, Elvira
- 出版社：Springer, Berlin
- 出版年月：2013年 00月
- ISBN：9783642381966
- 装丁：PAP
-
装丁について
- 版次：2013. X