دانلود کتاب Integrated formal methods : 13th International Conference, IFM 2017, Turin, Italy, September 20-22, 2017, Proceedings
| عنوان فارسی | روشهای رسمی یکپارچه: سیزدهمین کنفرانس بین المللی ، IFM 2017 ، تورین ، ایتالیا ، 20-22 سپتامبر 2017 ، مجموعه مقالات |
|---|---|
| عنوان اصلی | Integrated formal methods : 13th International Conference, IFM 2017, Turin, Italy, September 20-22, 2017, Proceedings |
| ناشر | Springer |
| نویسنده | Polikarpova, Nadia; Schneider, Steve A |
| ISBN | 9783319668451, 9783319668444 |
| سال نشر | 2017 |
| زبان | English |
| تعداد صفحات | 447 |
| فرمت کتاب | pdf - قابل تبدیل به سایر فرمت ها |
| حجم فایل | 16 مگابایت |
* نکته : همۀ کتاب های موجود در وبسایت زبان اصلی می باشد و کتاب ترجمه فارسی موجود نمی باشد.
توضیحات
فهرست مطالب
اطلاعات قبل از خربد