خرید و دانلود نسخه کامل کتاب Logic-Based Program Synthesis and Transformation: 33rd International Symposium, LOPSTR 2023, Cascais, Portugal, October 23-24, 2023, Proceedings (Lecture Notes in Computer Science)

سنتز و تحول برنامه مبتنی بر منطق: سی و سومین سمپوزیوم بین المللی، LOPSTR 2023، کاسکایس، پرتغال، 23 تا 24 اکتبر 2023، مجموعه مقالات (یادداشت های سخنرانی در علوم کامپیوتر)

Logic-Based Program Synthesis and Transformation: 33rd International Symposium, LOPSTR 2023, Cascais, Portugal, October 23-24, 2023, Proceedings (Lecture Notes in Computer Science)

نویسنده: Robert Glück (editor), Bishoksan Kafle (editor)

ناشر: Springer

سال انتشار: 2023

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

زبان: English

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

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