خرید و دانلود نسخه کامل کتاب Logic-Based Program Synthesis and Transformation: 21st International Symposium, LOPSTR 2011, Odense, Denmark, July 18-20, 2011. Revised Selected Papers

سنتز و تحول برنامه مبتنی بر منطق: بیست و یکمین سمپوزیوم بین المللی، LOPSTR 2011، اودنسه، دانمارک، 18-20 ژوئیه، 2011. مقالات منتخب اصلاح شده

Logic-Based Program Synthesis and Transformation: 21st International Symposium, LOPSTR 2011, Odense, Denmark, July 18-20, 2011. Revised Selected Papers

نویسنده: John P. Gallagher (auth.), Germán Vidal (eds.)

ناشر: Springer-Verlag Berlin Heidelberg

سال انتشار: 2012

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

زبان: English

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

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