خرید و دانلود نسخه کامل کتاب Logic-Based Program Synthesis and Transformation: 24th International Symposium, LOPSTR 2014, Canterbury, UK, September 9-11, 2014. Revised Selected Papers

سنتز و تحول برنامه مبتنی بر منطق: بیست و چهارمین سمپوزیوم بین المللی، LOPSTR 2014، کانتربری، انگلستان، 9-11 سپتامبر 2014. مقالات منتخب اصلاح شده

Logic-Based Program Synthesis and Transformation: 24th International Symposium, LOPSTR 2014, Canterbury, UK, September 9-11, 2014. Revised Selected Papers

نویسنده: Maurizio Proietti, Hirohisa Seki (eds.)

ناشر: Springer International Publishing

سال انتشار: 2015

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

زبان: English

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

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