خرید و دانلود نسخه کامل کتاب Logic-Based Program Synthesis and Transformation. 31st International Symposium, LOPSTR 2021 Tallinn, Estonia, September 7–8, 2021 Proceedings

سنتز و تبدیل برنامه مبتنی بر منطق. سی و یکمین سمپوزیوم بین المللی، LOPSTR 2021 تالین، استونی، 7 تا 8 سپتامبر 2021 مجموعه مقالات

Logic-Based Program Synthesis and Transformation. 31st International Symposium, LOPSTR 2021 Tallinn, Estonia, September 7–8, 2021 Proceedings

نویسنده: Emanuele De Angelis, Wim Vanhoof

ناشر: Springer

سال انتشار: 2022

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

زبان: English

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

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