دانلود کتاب Logic-Based Program Synthesis and Transformation: 19th International Symposium, LOPSTR 2009, Coimbra, Portugal, September 2009, Revised Selected Papers ... Computer Science and General Issues)
by Danny De Schreye
|
عنوان فارسی: مبتنی بر منطق برنامه سنتز و انتقال: 19 سمپوزیوم بین المللی، LOPSTR 2009، کویمبرا، پرتغال، سپتامبر 2009، تجدید نظر مقالات انتخاب شده ... علوم کامپیوتر و مسائل مربوط به عمومی) |