سنتز و تحول برنامه مبتنی بر منطق: پانزدهمین سمپوزیوم بین المللی، 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 مگابایت