خرید و دانلود نسخه کامل کتاب Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems: Essays Dedicated to Manuel Hermenegildo on the Occasion ... (Lecture Notes in Computer Science, 13160)

تجزیه و تحلیل، تأیید و تبدیل برای برنامه‌نویسی اعلامی و سیستم‌های هوشمند: مقالات تقدیم به مانوئل هرمنگیلدو به مناسبت ... (یادداشت‌های سخنرانی در علوم رایانه، 13160)

Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems: Essays Dedicated to Manuel Hermenegildo on the Occasion ... (Lecture Notes in Computer Science, 13160)

نویسنده: Pedro Lopez-Garcia (editor), John P. Gallagher (editor), Roberto Giacobazzi (editor)

ناشر: Springer

سال انتشار: 2023

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

زبان: English

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

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