خرید و دانلود نسخه کامل کتاب Logic Based Program Synthesis and Transformation: 14th International Symposium, LOPSTR 2004, Verona, Italy, August 26 – 28, 2004, Revised Selected Papers

سنتز و تحول برنامه مبتنی بر منطق: چهاردهمین سمپوزیوم بین المللی، LOPSTR 2004، ورونا، ایتالیا، 26 تا 28 آگوست 2004، مقالات منتخب اصلاح شده

Logic Based Program Synthesis and Transformation: 14th International Symposium, LOPSTR 2004, Verona, Italy, August 26 – 28, 2004, Revised Selected Papers

نویسنده: Wim Vanhoof (auth.), Sandro Etalle (eds.)

ناشر: Springer-Verlag Berlin Heidelberg

سال انتشار: 2005

تعداد صفحات: 286

زبان: English

فرمت: pdf - قابل تبدیل به سایر فرمت ها

حجم فایل: 3 مگابایت