دانلود کتاب 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) |
| ناشر | Springer |
| نویسنده | Alberto Lluch Lafuente (editor), Anastasia Mavridou (editor) |
| ISBN | 3030852474, 9783030852474 |
| سال نشر | 2021 |
| زبان | English |
| تعداد صفحات | 253 |
| فرمت کتاب | pdf - قابل تبدیل به سایر فرمت ها |
| حجم فایل | 14 مگابایت |
* نکته : همۀ کتاب های موجود در وبسایت زبان اصلی می باشد و کتاب ترجمه فارسی موجود نمی باشد.
توضیحات
فهرست مطالب
اطلاعات قبل از خربد