Logic-Based Program Synthesis and Transformation

Logic-Based Program Synthesis and Transformation: 20th International Symposium, LOPSTR 2010, Hagenberg, Austria, July 23-25, 2010, Revised Selected Papers 1st 版 著者: María Alpuente 出版 Springer. 以下のデジタルおよびeTextbook ISBNs: Logic-Based Program Synthesis and Transformation : 9783642205514, 3642205518 および 印刷版のISBNは 9783642205507, 364220550X. VitalSource でデジタル化することで、印刷に比べて最大 80% 節約できます。

Logic-Based Program Synthesis and Transformation: 20th International Symposium, LOPSTR 2010, Hagenberg, Austria, July 23-25, 2010, Revised Selected Papers 1st 版 著者: María Alpuente 出版 Springer. 以下のデジタルおよびeTextbook ISBNs: Logic-Based Program Synthesis and Transformation : 9783642205514, 3642205518 および 印刷版のISBNは 9783642205507, 364220550X. VitalSource でデジタル化することで、印刷に比べて最大 80% 節約できます。