خرید و دانلود نسخه کامل کتاب Logic-Based Program Synthesis and Transformation: 23rd International Symposium, LOPSTR 2013, Madrid, Spain, September 18-19, 2013, Revised Selected Papers

سنتز و تحول برنامه مبتنی بر منطق: بیست و سومین سمپوزیوم بین المللی، LOPSTR 2013، مادرید، اسپانیا، 18-19 سپتامبر 2013، مقالات منتخب اصلاح شده

Logic-Based Program Synthesis and Transformation: 23rd International Symposium, LOPSTR 2013, Madrid, Spain, September 18-19, 2013, Revised Selected Papers

نویسنده: Gopal Gupta, Ricardo Peña (eds.)

ناشر: Springer International Publishing

سال انتشار: 2014

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

زبان: English

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

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