دانلود کتاب Logic-Based Program Synthesis and Transformation: 21st International Symposium, LOPSTR 2011, Odense, Denmark, July 18-20, 2011. Revised Selected Papers
by John P. Gallagher (auth.)|
|
عنوان فارسی: مبتنی بر منطق برنامه سنتز و انتقال: 21 سمپوزیوم بین المللی، LOPSTR 2011، اودنسه دانمارک، ژوئیه 18-20، 2011. تجدید نظر برگزیده مقالات |


دانلود کتاب

این کتاب رو مطالعه کردید؟ نظر شما چیست؟