Logic-Based Program Synthesis and Transformation

Logic-Based Program Synthesis and Transformation: 22nd International Symposium, LOPSTR 2012, Leuven, Belgium, September 18-20, 2012, Revised Selected Papers 出版 Springer. 以下のデジタルおよびeTextbook ISBNs: Logic-Based Program Synthesis and Transformation : 9783642381973, 3642381979 および 印刷版のISBNは 9783642381966, 3642381960. VitalSource でデジタル化することで、印刷に比べて最大 80% 節約できます。

Logic-Based Program Synthesis and Transformation: 22nd International Symposium, LOPSTR 2012, Leuven, Belgium, September 18-20, 2012, Revised Selected Papers 出版 Springer. 以下のデジタルおよびeTextbook ISBNs: Logic-Based Program Synthesis and Transformation : 9783642381973, 3642381979 および 印刷版のISBNは 9783642381966, 3642381960. VitalSource でデジタル化することで、印刷に比べて最大 80% 節約できます。