دانلود کتاب Formal Methods and Software Engineering: 20th International Conference on Formal Engineering Methods, ICFEM 2018, Gold Coast, QLD, Australia, November 12-16, 2018, Proceedings
| عنوان فارسی | روشهای رسمی و مهندسی نرمافزار: بیستمین کنفرانس بینالمللی روشهای مهندسی رسمی، ICFEM 2018، Gold Coast، QLD، استرالیا، 12-16 نوامبر 2018، مجموعه مقالات |
|---|---|
| عنوان اصلی | Formal Methods and Software Engineering: 20th International Conference on Formal Engineering Methods, ICFEM 2018, Gold Coast, QLD, Australia, November 12-16, 2018, Proceedings |
| ویرایش | 1st ed. |
| ناشر | Springer International Publishing |
| نویسنده | Jing Sun, Meng Sun |
| ISBN | 9783030024499, 9783030024505 |
| سال نشر | 2018 |
| زبان | English |
| تعداد صفحات | 480 |
| فرمت کتاب | pdf - قابل تبدیل به سایر فرمت ها |
| حجم فایل | 17 مگابایت |
* نکته : همۀ کتاب های موجود در وبسایت زبان اصلی می باشد و کتاب ترجمه فارسی موجود نمی باشد.
توضیحات
فهرست مطالب
اطلاعات قبل از خربد