خرید و دانلود نسخه کامل کتاب 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

تعداد صفحات: 254 [262]

زبان: English

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

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