خرید و دانلود نسخه کامل کتاب Logic-Based Program Synthesis and Transformation: 18th International Symposium, LOPSTR 2008, Valencia, Spain, July 17-18, 2008, Revised Selected Papers

سنتز و تحول برنامه مبتنی بر منطق: هجدهمین سمپوزیوم بین المللی ، LOPSTR 2008 ، والنسیا ، اسپانیا ، 17-18 ژوئیه 2008 ، مقالات منتخب اصلاح شده

Logic-Based Program Synthesis and Transformation: 18th International Symposium, LOPSTR 2008, Valencia, Spain, July 17-18, 2008, Revised Selected Papers

نویسنده: Cristiano Calcagno, Dino Distefano (auth.), Michael Hanus (eds.)

ناشر: Springer-Verlag Berlin Heidelberg

سال انتشار: 2009

تعداد صفحات: 185 [193]

زبان: English

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

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