خرید و دانلود نسخه کامل کتاب Logic-Based Program Synthesis and Transformation: 19th International Symposium, LOPSTR 2009, Coimbra, Portugal, September 2009, Revised Selected Papers

سنتز و تحول برنامه مبتنی بر منطق: نوزدهمین سمپوزیوم بین المللی، LOPSTR 2009، کویمبرا، پرتغال، سپتامبر 2009، مقالات منتخب اصلاح شده

Logic-Based Program Synthesis and Transformation: 19th International Symposium, LOPSTR 2009, Coimbra, Portugal, September 2009, Revised Selected Papers

نویسنده: Germán Vidal (auth.), Danny De Schreye (eds.)

ناشر: Springer-Verlag Berlin Heidelberg

سال انتشار: 2010

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

زبان: English

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

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