خرید و دانلود نسخه کامل کتاب Logic-Based Program Synthesis and Transformation: 25th International Symposium, LOPSTR 2015, Siena, Italy, July 13-15, 2015. Revised Selected Papers

سنتز و تحول برنامه مبتنی بر منطق: بیست و پنجمین سمپوزیوم بین المللی، LOPSTR 2015، سیهنا، ایتالیا، 13 تا 15 ژوئیه، 2015. مقالات منتخب اصلاح شده

Logic-Based Program Synthesis and Transformation: 25th International Symposium, LOPSTR 2015, Siena, Italy, July 13-15, 2015. Revised Selected Papers

نویسنده: Moreno Falaschi (eds.)

ناشر: Springer International Publishing

سال انتشار: 2015

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

زبان: English

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

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