دانلود کتاب Software Engineering and Formal Methods: 18th International Conference, SEFM 2020, Amsterdam, The Netherlands, September 14–18, 2020, Proceedings
| عنوان فارسی | مهندسی نرم افزار و روش های رسمی: هجدهمین کنفرانس بین المللی ، SEFM 2020 ، آمستردام ، هلند ، 14 تا 18 سپتامبر ، 2020 ، مجموعه مقالات |
|---|---|
| عنوان اصلی | Software Engineering and Formal Methods: 18th International Conference, SEFM 2020, Amsterdam, The Netherlands, September 14–18, 2020, Proceedings |
| ویرایش | 1st ed. |
| ناشر | Springer International Publishing;Springer |
| نویسنده | Frank de Boer, Antonio Cerone |
| ISBN | 9783030587673, 9783030587680 |
| سال نشر | 2020 |
| زبان | English |
| تعداد صفحات | 339 |
| فرمت کتاب | pdf - قابل تبدیل به سایر فرمت ها |
| حجم فایل | 15 مگابایت |
* نکته : همۀ کتاب های موجود در وبسایت زبان اصلی می باشد و کتاب ترجمه فارسی موجود نمی باشد.
توضیحات
فهرست مطالب
اطلاعات قبل از خربد