دانلود کتاب Software Engineering and Formal Methods: SEFM 2017 Collocated Workshops: DataMod, FAACS, MSE, CoSim-CPS, and FOCLASA, Trento, Italy, September 4-5, 2017, Revised Selected Papers
| عنوان فارسی | مهندسی نرم افزار و روش های رسمی: SEFM 2017 کارگاه های آموزشی: DataMod، FAACS، MSE، CoSim-CPS، و FOCLASA، ترنتو، ایتالیا، 4-5 سپتامبر 2017، مقالات منتخب اصلاح شده |
|---|---|
| عنوان اصلی | Software Engineering and Formal Methods: SEFM 2017 Collocated Workshops: DataMod, FAACS, MSE, CoSim-CPS, and FOCLASA, Trento, Italy, September 4-5, 2017, Revised Selected Papers |
| ناشر | Springer |
| نویسنده | Antonio Cerone; Marco Roveri |
| ISBN | 9783319747811, 3319747819 |
| سال نشر | 2018 |
| زبان | English |
| تعداد صفحات | 0 |
| فرمت کتاب | epub - قابل تبدیل به سایر فرمت ها |
| حجم فایل | 8 مگابایت |
* نکته : همۀ کتاب های موجود در وبسایت زبان اصلی می باشد و کتاب ترجمه فارسی موجود نمی باشد.
توضیحات
فهرست مطالب
اطلاعات قبل از خربد