دانلود کتاب Software Engineering and Formal Methods. SEFM 2023 Collocated Workshops: CIFMA 2023 and OpenCERT 2023, Eindhoven, The Netherlands, November 6–10, ... Papers (Lecture Notes in Computer Science)
| عنوان فارسی | مهندسی نرم افزار و روشهای رسمی. کارگاه های جمع آوری شده SEFM 2023: CIFMA 2023 و Opencert 2023 ، Eindhoven ، هلند ، 6-10 نوامبر ، ... مقالات (یادداشت های سخنرانی در علوم کامپیوتر) |
|---|---|
| عنوان اصلی | Software Engineering and Formal Methods. SEFM 2023 Collocated Workshops: CIFMA 2023 and OpenCERT 2023, Eindhoven, The Netherlands, November 6–10, ... Papers (Lecture Notes in Computer Science) |
| ویرایش | [2024 ed.] |
| ناشر | Springer |
| نویسنده | Alessandro Aldini (editor) |
| ISBN | 303166020X, 9783031660207 |
| سال نشر | 2024 |
| زبان | English |
| تعداد صفحات | 180 [174] |
| فرمت کتاب | pdf - قابل تبدیل به سایر فرمت ها |
| حجم فایل | 7 مگابایت |
* نکته : همۀ کتاب های موجود در وبسایت زبان اصلی می باشد و کتاب ترجمه فارسی موجود نمی باشد.
توضیحات
فهرست مطالب
اطلاعات قبل از خربد