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