دانلود کتاب Software Engineering and Formal Methods. SEFM 2022 Collocated Workshops: AI4EA, F-IDE, CoSim-CPS, CIFMA Berlin, Germany, September 26–30, 2022 Revised Selected Papers
| عنوان فارسی | مهندسی نرم افزار و روش های رسمی. کارگاه های آموزشی SEFM 2022: AI4EA، F-IDE، CoSim-CPS، CIFMA برلین، آلمان، 26 تا 30 سپتامبر 2022 مقالات منتخب اصلاح شده |
|---|---|
| عنوان اصلی | Software Engineering and Formal Methods. SEFM 2022 Collocated Workshops: AI4EA, F-IDE, CoSim-CPS, CIFMA Berlin, Germany, September 26–30, 2022 Revised Selected Papers |
| ناشر | Springer |
| نویسنده | Paolo Masci, Cinzia Bernardeschi, Pierluigi Graziani, Mario Koddenbrock, Maurizio Palmieri |
| ISBN | 3031262352, 9783031262357 |
| سال نشر | 2023 |
| زبان | English |
| تعداد صفحات | 423 [424] |
| فرمت کتاب | pdf - قابل تبدیل به سایر فرمت ها |
| حجم فایل | 29 مگابایت |
* نکته : همۀ کتاب های موجود در وبسایت زبان اصلی می باشد و کتاب ترجمه فارسی موجود نمی باشد.
توضیحات
فهرست مطالب
اطلاعات قبل از خربد