Logic Based Program Synthesis and Transformation

Logic Based Program Synthesis and Transformation: 15th International Symposium, LOPSTR 2005, London, UK, September 7-9, 2005, Revised Selected Papers 1st الإصدار تمت الكتابة بواسطة Patricia M. Hill وتم النشر بواسطة Springer. الأرقام الدولية المعيارية للكتب الدراسية الإلكترونية والرقمية لـ Logic Based Program Synthesis and Transformation هي 9783540326564, 3540326561 و الأرقام الدولية المعيارية للكتاب (ISBN) هي 9783540326540, 3540326545. وفّر حتى 80% في مقابل الطباعة عن طريق الانتقال إلى الحياة الرقمية من خلال VitalSource.

Logic Based Program Synthesis and Transformation: 15th International Symposium, LOPSTR 2005, London, UK, September 7-9, 2005, Revised Selected Papers 1st الإصدار تمت الكتابة بواسطة Patricia M. Hill وتم النشر بواسطة Springer. الأرقام الدولية المعيارية للكتب الدراسية الإلكترونية والرقمية لـ Logic Based Program Synthesis and Transformation هي 9783540326564, 3540326561 و الأرقام الدولية المعيارية للكتاب (ISBN) هي 9783540326540, 3540326545. وفّر حتى 80% في مقابل الطباعة عن طريق الانتقال إلى الحياة الرقمية من خلال VitalSource.