خرید و دانلود نسخه کامل کتاب Logic-Based Program Synthesis and Transformation: 30th International Symposium, LOPSTR 2020, Bologna, Italy, September 7–9, 2020, Proceedings (Theoretical Computer Science and General Issues)

سنتز و تحول برنامه مبتنی بر منطق: 30مین سمپوزیوم بین المللی، LOPSTR 2020، بولونیا، ایتالیا، 7 تا 9 سپتامبر 2020، مجموعه مقالات (علوم کامپیوتر نظری و مسائل عمومی)

Logic-Based Program Synthesis and Transformation: 30th International Symposium, LOPSTR 2020, Bologna, Italy, September 7–9, 2020, Proceedings (Theoretical Computer Science and General Issues)

نویسنده: Maribel Fernández (editor)

ناشر: Springer

سال انتشار: 2021

تعداد صفحات: 348

زبان: English

فرمت: pdf - قابل تبدیل به سایر فرمت ها

حجم فایل: 9 مگابایت