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

سنتز و تحول برنامه مبتنی بر منطق: سیزدهمین سمپوزیوم بین المللی LOPSTR 2003، اوپسالا، سوئد، 25-27 اوت 2003، مقالات منتخب اصلاح شده (یادداشت های سخنرانی در علوم کامپیوتر، 3018)

Logic Based Program Synthesis and Transformation: 13th International Symposium LOPSTR 2003, Uppsala, Sweden, August 25-27, 2003, Revised Selected Papers (Lecture Notes in Computer Science, 3018)

نویسنده: Maurice Bruynooghe (editor)

ناشر: Springer

سال انتشار: 2004

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

زبان: English

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

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