دانلود کتاب NASA Formal Methods: 8th International Symposium, NFM 2016, Minneapolis, MN, USA, June 7-9, 2016, Proceedings
| عنوان فارسی | روشهای رسمی ناسا: هشتمین سمپوزیوم بینالمللی، NFM 2016، مینیاپولیس، MN، ایالات متحده آمریکا، 7-9 ژوئن 2016، مجموعه مقالات |
|---|---|
| عنوان اصلی | NASA Formal Methods: 8th International Symposium, NFM 2016, Minneapolis, MN, USA, June 7-9, 2016, Proceedings |
| ویرایش | 1 |
| ناشر | Springer International Publishing |
| نویسنده | Sanjai Rayadurgam, Oksana Tkachuk (eds.) |
| ISBN | 9783319406480, 9783319406473 |
| سال نشر | 2016 |
| زبان | English |
| تعداد صفحات | 402 |
| فرمت کتاب | pdf - قابل تبدیل به سایر فرمت ها |
| حجم فایل | 20 مگابایت |
* نکته : همۀ کتاب های موجود در وبسایت زبان اصلی می باشد و کتاب ترجمه فارسی موجود نمی باشد.
در صورت ایرانی بودن نویسنده امکان دانلود وجود ندارد و مبلغ عودت داده خواهد شد
وضعیت : موجود
قیمت : 78,000 تومان
مشاهد کتاب در آمازون
توضیحات
فهرست مطالب
اطلاعات قبل از خربد