Logic Based Program Synthesis and Transformation: 15th International Symposium, LOPSTR 2005, London, UK, September 7-9, 2005, Revised Selected Papers (Lecture Notes in Computer Science, 3901)

خرید و دانلود نسخه کامل کتاب Logic Based Program Synthesis and Transformation: 15th International Symposium, LOPSTR 2005, London, UK, September 7-9, 2005, Revised Selected Papers (Lecture Notes in Computer Science, 3901)

سنتز و تحول برنامه مبتنی بر منطق: پانزدهمین سمپوزیوم بین المللی، LOPSTR 2005، لندن، انگلستان، 7-9 سپتامبر 2005، مقالات منتخب اصلاح شده (یادداشت های سخنرانی در علوم کامپیوتر، 3901)

Logic Based Program Synthesis and Transformation: 15th International Symposium, LOPSTR 2005, London, UK, September 7-9, 2005, Revised Selected Papers (Lecture Notes in Computer Science, 3901)

نویسنده: Patricia M. Hill (editor)

ناشر: Springer

سال انتشار: 2006

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

زبان: English

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

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

114,000 تومان 82,000 تومان