خرید و دانلود نسخه کامل کتاب 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

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

زبان: English

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

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