Logic-Based Program Synthesis and Transformation

Logic-Based Program Synthesis and Transformation: 28th International Symposium, LOPSTR 2018, Frankfurt/Main, Germany, September 4-6, 2018, Revised Selected Papers تمت الكتابة بواسطة Fred Mesnard وتم النشر بواسطة Springer. الأرقام الدولية المعيارية للكتب الدراسية الإلكترونية والرقمية لـ Logic-Based Program Synthesis and Transformation هي 9783030138387, 3030138380 و الأرقام الدولية المعيارية للكتاب (ISBN) هي 9783030138370, 3030138372. وفّر حتى 80% في مقابل الطباعة عن طريق الانتقال إلى الحياة الرقمية من خلال VitalSource. تشمل الأرقام الدولية المعيارية للكتاب (ISBN) للكتاب الدراسي الإلكتروني 10.1007/978-3-030-13838-7, 8220112557892, 8220112798615, 8220114844501, 8220114867425, 8220115699780, 978-3-030-13838-7.

Logic-Based Program Synthesis and Transformation: 28th International Symposium, LOPSTR 2018, Frankfurt/Main, Germany, September 4-6, 2018, Revised Selected Papers تمت الكتابة بواسطة Fred Mesnard وتم النشر بواسطة Springer. الأرقام الدولية المعيارية للكتب الدراسية الإلكترونية والرقمية لـ Logic-Based Program Synthesis and Transformation هي 9783030138387, 3030138380 و الأرقام الدولية المعيارية للكتاب (ISBN) هي 9783030138370, 3030138372. وفّر حتى 80% في مقابل الطباعة عن طريق الانتقال إلى الحياة الرقمية من خلال VitalSource. تشمل الأرقام الدولية المعيارية للكتاب (ISBN) للكتاب الدراسي الإلكتروني 10.1007/978-3-030-13838-7, 8220112557892, 8220112798615, 8220114844501, 8220114867425, 8220115699780, 978-3-030-13838-7.