سنتز و تحول برنامه مبتنی بر منطق: نوزدهمین سمپوزیوم بین المللی ، LOPSTR 2009 ، COIMBRA ، پرتغال ، سپتامبر 2009 ، مقالات منتخب تجدید نظر ... علوم کامپیوتر و موضوعات عمومی)
Logic-Based Program Synthesis and Transformation: 19th International Symposium, LOPSTR 2009, Coimbra, Portugal, September 2009, Revised Selected Papers ... Computer Science and General Issues)
نویسنده: Danny De Schreye
ناشر: Springer
سال انتشار: 2010
تعداد صفحات: 213
زبان: English
فرمت: pdf - قابل تبدیل به سایر فرمت ها
حجم فایل: 3 مگابایت