Logic Based Program Synthesis and Transformation

Logic Based Program Synthesis and Transformation: 12th International Workshop, LOPSTR 2002, Madrid, Spain, September 17-20, 2002, Revised Selected Papers 1st الإصدار تمت الكتابة بواسطة M. Leuschel وتم النشر بواسطة Springer. الأرقام الدولية المعيارية للكتب الدراسية الإلكترونية والرقمية لـ Logic Based Program Synthesis and Transformation هي 9783540450139, 3540450130 و الأرقام الدولية المعيارية للكتاب (ISBN) هي 9783540404385, 3540404384. وفّر حتى 80% في مقابل الطباعة عن طريق الانتقال إلى الحياة الرقمية من خلال VitalSource.

Logic Based Program Synthesis and Transformation: 12th International Workshop, LOPSTR 2002, Madrid, Spain, September 17-20, 2002, Revised Selected Papers 1st الإصدار تمت الكتابة بواسطة M. Leuschel وتم النشر بواسطة Springer. الأرقام الدولية المعيارية للكتب الدراسية الإلكترونية والرقمية لـ Logic Based Program Synthesis and Transformation هي 9783540450139, 3540450130 و الأرقام الدولية المعيارية للكتاب (ISBN) هي 9783540404385, 3540404384. وفّر حتى 80% في مقابل الطباعة عن طريق الانتقال إلى الحياة الرقمية من خلال VitalSource.