خرید و دانلود نسخه کامل کتاب Verification of Data-Aware Processes via Satisfiability Modulo Theories (Lecture Notes in Business Information Processing)

تأیید فرآیندهای آگاه از داده از طریق نظریه‌های مدول رضایت‌پذیری (یادداشت‌های سخنرانی در پردازش اطلاعات تجاری)

Verification of Data-Aware Processes via Satisfiability Modulo Theories (Lecture Notes in Business Information Processing)

نویسنده: Alessandro Gianola

ناشر: Springer

سال انتشار: 2023

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

زبان: English

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

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