خرید و دانلود نسخه کامل کتاب Logic-Based Program Synthesis and Transformation: 17th International Symposium, LOPSTR 2007, Kongens Lyngby, Denmark, August 23-24, 2007, Revised Selected Papers

سنتز و تحول برنامه مبتنی بر منطق: هفدهمین سمپوزیوم بین المللی ، LOPSTR 2007 ، کنگنس لینگبی ، دانمارک ، 23 تا 24 آگوست 2007 ، مقاله های منتخب تجدید نظر شده

Logic-Based Program Synthesis and Transformation: 17th International Symposium, LOPSTR 2007, Kongens Lyngby, Denmark, August 23-24, 2007, Revised Selected Papers

نویسنده: Michael Codish (auth.), Andy King (eds.)

ناشر: Springer-Verlag Berlin Heidelberg

سال انتشار: 2008

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

زبان: English

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

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