Logic-Based Program Synthesis and Transformation

Logic-Based Program Synthesis and Transformation: 18th International Symposium, LOPSTR 2008, Valencia, Spain, July 17-18, 2008, Revised Selected Papers 1st الإصدار تمت الكتابة بواسطة Michael Hanus وتم النشر بواسطة Springer. الأرقام الدولية المعيارية للكتب الدراسية الإلكترونية والرقمية لـ Logic-Based Program Synthesis and Transformation هي 9783642005152, 3642005152 و الأرقام الدولية المعيارية للكتاب (ISBN) هي 9783642005145, 3642005144. وفّر حتى 80% في مقابل الطباعة عن طريق الانتقال إلى الحياة الرقمية من خلال VitalSource.

Logic-Based Program Synthesis and Transformation: 18th International Symposium, LOPSTR 2008, Valencia, Spain, July 17-18, 2008, Revised Selected Papers 1st الإصدار تمت الكتابة بواسطة Michael Hanus وتم النشر بواسطة Springer. الأرقام الدولية المعيارية للكتب الدراسية الإلكترونية والرقمية لـ Logic-Based Program Synthesis and Transformation هي 9783642005152, 3642005152 و الأرقام الدولية المعيارية للكتاب (ISBN) هي 9783642005145, 3642005144. وفّر حتى 80% في مقابل الطباعة عن طريق الانتقال إلى الحياة الرقمية من خلال VitalSource.