خرید و دانلود نسخه کامل کتاب Logic-Based Program Synthesis and Transformation: 16th International Symposium, LOPSTR 2006, Venice, Italy, July 12-14, 2006, Revised Selected Papers (Lecture Notes in Computer Science, 4407)

سنتز و تحول برنامه مبتنی بر منطق: شانزدهمین سمپوزیوم بین المللی، LOPSTR 2006، ونیز، ایتالیا، 12-14 جولای، 2006، مقالات منتخب اصلاح شده (یادداشت های سخنرانی در علوم کامپیوتر، 4407)

Logic-Based Program Synthesis and Transformation: 16th International Symposium, LOPSTR 2006, Venice, Italy, July 12-14, 2006, Revised Selected Papers (Lecture Notes in Computer Science, 4407)

نویسنده: Germán Puebla (editor)

ناشر: Springer

سال انتشار: 2007

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

زبان: English

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

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