Logic-Based Program Synthesis and Transformation

Logic-Based Program Synthesis and Transformation: 29th International Symposium, LOPSTR 2019, Porto, Portugal, October 8–10, 2019, Revised Selected Papers 1st 版 著者: Maurizio Gabbrielli 出版 Springer. 以下のデジタルおよびeTextbook ISBNs: Logic-Based Program Synthesis and Transformation : 9783030452605, 3030452603 および 印刷版のISBNは 9783030452599, 303045259X. VitalSource でデジタル化することで、印刷に比べて最大 80% 節約できます。

Logic-Based Program Synthesis and Transformation: 29th International Symposium, LOPSTR 2019, Porto, Portugal, October 8–10, 2019, Revised Selected Papers 1st 版 著者: Maurizio Gabbrielli 出版 Springer. 以下のデジタルおよびeTextbook ISBNs: Logic-Based Program Synthesis and Transformation : 9783030452605, 3030452603 および 印刷版のISBNは 9783030452599, 303045259X. VitalSource でデジタル化することで、印刷に比べて最大 80% 節約できます。