خرید و دانلود نسخه کامل کتاب Formal Methods for Industrial Critical Systems: 26th International Conference, FMICS 2021, Paris, France, August 24–26, 2021, Proceedings (Programming and Software Engineering)

روش‌های رسمی برای سیستم‌های بحرانی صنعتی: بیست و ششمین کنفرانس بین‌المللی، FMICS 2021، پاریس، فرانسه، 24 تا 26 اوت 2021، مجموعه مقالات (برنامه‌نویسی و مهندسی نرم‌افزار)

Formal Methods for Industrial Critical Systems: 26th International Conference, FMICS 2021, Paris, France, August 24–26, 2021, Proceedings (Programming and Software Engineering)

نویسنده: Alberto Lluch Lafuente (editor), Anastasia Mavridou (editor)

ناشر: Springer

سال انتشار: 2021

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

زبان: English

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

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