Logic-Based Program Synthesis and Transformation: 32nd International Symposium, LOPSTR 2022, Tbilisi, Georgia, September 21–23, 2022, Proceedings (Lecture Notes in Computer Science)

خرید و دانلود نسخه کامل کتاب Logic-Based Program Synthesis and Transformation: 32nd International Symposium, LOPSTR 2022, Tbilisi, Georgia, September 21–23, 2022, Proceedings (Lecture Notes in Computer Science)

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

Logic-Based Program Synthesis and Transformation: 32nd International Symposium, LOPSTR 2022, Tbilisi, Georgia, September 21–23, 2022, Proceedings (Lecture Notes in Computer Science)

نویسنده: Alicia Villanueva (editor)

ناشر: Springer

سال انتشار: 2022

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

زبان: English

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

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

108,000 تومان 78,000 تومان