خرید و دانلود نسخه کامل کتاب Logic Based Program Synthesis and Transformation: 13th International Symposium, LOPSTR 2003, Uppsala, Sweden, August 25-27, 2003, Revised Selected Papers

سنتز و تحول برنامه مبتنی بر منطق: سیزدهمین سمپوزیوم بین المللی ، LOPSTR 2003 ، اوپسالا ، سوئد ، 25-27 اوت 2003 ، نسخه های تجدید نظر شده

Logic Based Program Synthesis and Transformation: 13th International Symposium, LOPSTR 2003, Uppsala, Sweden, August 25-27, 2003, Revised Selected Papers

نویسنده: Helko Lehmann, Michael Leuschel (auth.), Maurice Bruynooghe (eds.)

ناشر: Springer-Verlag Berlin Heidelberg

سال انتشار: 2004

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

زبان: English

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

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