دانلود کتاب Formal Methods. FM 2019 International Workshops: Porto, Portugal, October 7–11, 2019, Revised Selected Papers, Part II
| عنوان فارسی | روشهای رسمی کارگاه های بین المللی FM 2019: پورتو ، پرتغال ، 7 تا 11 اکتبر 2019 ، مقالات منتخب بازبینی شده ، قسمت دوم |
|---|---|
| عنوان اصلی | Formal Methods. FM 2019 International Workshops: Porto, Portugal, October 7–11, 2019, Revised Selected Papers, Part II |
| ویرایش | [1st ed.] |
| ناشر | Springer International Publishing;Springer |
| نویسنده | Emil Sekerinski, Nelma Moreira, José N. Oliveira, Daniel Ratiu, Riccardo Guidotti, Marie Farrell, Matt Luckcuck, Diego Marmsoler, José Campos, Troy Astarte, Laure Gonnord, Antonio Cerone, Luis Couto, Brijesh Dongol, Martin Kutrib, Pedro Monteiro, David Delmas |
| ISBN | 9783030549961, 9783030549978 |
| سال نشر | 2020 |
| زبان | English |
| تعداد صفحات | XVIII, 575 [584] |
| فرمت کتاب | pdf - قابل تبدیل به سایر فرمت ها |
| حجم فایل | 25 مگابایت |
* نکته : همۀ کتاب های موجود در وبسایت زبان اصلی می باشد و کتاب ترجمه فارسی موجود نمی باشد.
توضیحات
فهرست مطالب
اطلاعات قبل از خربد
نحوه دریافت کتاب
این کتاب نسخه زبان اصلی است و ترجمه فارسی نیست.بعد از تکمیل فرایند خرید می توانید کتاب را دانلود نمایید. درصورت نیاز به تغییر فرمت کتاب به پشتیبان اطلاع دهید.کتاب های تصادفی