Logic-Based Program Synthesis and Transformation

Logic-Based Program Synthesis and Transformation: 17th International Symposium, LOPSTR 2007, Kongens Lyngby, Denmark, August 23-24, 2007, Revised Selected Papers 1st الإصدار تمت الكتابة بواسطة Andy King وتم النشر بواسطة Springer. الأرقام الدولية المعيارية للكتب الدراسية الإلكترونية والرقمية لـ Logic-Based Program Synthesis and Transformation هي 9783540787693, 3540787690 و الأرقام الدولية المعيارية للكتاب (ISBN) هي 9783540787686, 3540787682. وفّر حتى 80% في مقابل الطباعة عن طريق الانتقال إلى الحياة الرقمية من خلال VitalSource.

Logic-Based Program Synthesis and Transformation: 17th International Symposium, LOPSTR 2007, Kongens Lyngby, Denmark, August 23-24, 2007, Revised Selected Papers 1st الإصدار تمت الكتابة بواسطة Andy King وتم النشر بواسطة Springer. الأرقام الدولية المعيارية للكتب الدراسية الإلكترونية والرقمية لـ Logic-Based Program Synthesis and Transformation هي 9783540787693, 3540787690 و الأرقام الدولية المعيارية للكتاب (ISBN) هي 9783540787686, 3540787682. وفّر حتى 80% في مقابل الطباعة عن طريق الانتقال إلى الحياة الرقمية من خلال VitalSource.