خرید و دانلود نسخه کامل کتاب Logic-Based Program Synthesis and Transformation: 20th International Symposium, LOPSTR 2010, Hagenberg, Austria, July 23-25, 2010, Revised Selected Papers

سنتز و تحول برنامه مبتنی بر منطق: بیستمین سمپوزیوم بین المللی ، LOPSTR 2010 ، هاگنبرگ ، اتریش ، 23-25 ​​ژوئیه 2010 ، نسخه های تجدید نظر شده

Logic-Based Program Synthesis and Transformation: 20th International Symposium, LOPSTR 2010, Hagenberg, Austria, July 23-25, 2010, Revised Selected Papers

نویسنده: Olivier Danvy, Ian Zerny (auth.), María Alpuente (eds.)

ناشر: Springer-Verlag Berlin Heidelberg

سال انتشار: 2011

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

زبان: English

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

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