خرید و دانلود نسخه کامل کتاب Specification and verification of declarative open interaction models : a logic-based approach

مشخصات و تأیید مدل‌های تعامل باز اعلامی: یک رویکرد مبتنی بر منطق

Specification and verification of declarative open interaction models : a logic-based approach

نویسنده: Montali, Marco

ناشر: Springer-Verlag

سال انتشار: 2010

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

زبان: English

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

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