خرید و دانلود نسخه کامل کتاب Logic-Based Program Synthesis and Transformation

سنتز و تبدیل برنامه مبتنی بر منطق

Logic-Based Program Synthesis and Transformation

نویسنده: Fabio Fioravanti, John P. Gallagher

ناشر: Springer International Publishing

سال انتشار: 2018

تعداد صفحات: XVI, 341 [350]

زبان: English

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

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