خرید و دانلود نسخه کامل کتاب Formal Methods for Software Engineering: Languages, Methods, Application Domains

روش‌های رسمی برای مهندسی نرم‌افزار: زبان‌ها، روش‌ها، دامنه‌های کاربردی

Formal Methods for Software Engineering: Languages, Methods, Application Domains

نویسنده: Markus Roggenbach; Antonio Cerone; Bernd-Holger Schlingloff; Gerardo Schneider; Siraj Ahmed Shaikh

ناشر: Springer Nature

سال انتشار: 2022

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

زبان: English

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

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