دانلود کتاب NASA Formal Methods: 6th International Symposium, NFM 2014, Houston, TX, USA, April 29 – May 1, 2014. Proceedings
| عنوان فارسی | روشهای رسمی ناسا: ششمین سمپوزیوم بینالمللی، NFM 2014، هیوستون، TX، ایالات متحده، 29 آوریل - 1 می 2014. مجموعه مقالات |
|---|---|
| عنوان اصلی | NASA Formal Methods: 6th International Symposium, NFM 2014, Houston, TX, USA, April 29 – May 1, 2014. Proceedings |
| ویرایش | 1 |
| ناشر | Springer International Publishing |
| نویسنده | Julia M. Badger, Kristin Yvonne Rozier (eds.) |
| ISBN | 3319061992, 9783319061993 |
| سال نشر | 2014 |
| زبان | English |
| تعداد صفحات | 381 |
| فرمت کتاب | pdf - قابل تبدیل به سایر فرمت ها |
| حجم فایل | 6 مگابایت |
* نکته : همۀ کتاب های موجود در وبسایت زبان اصلی می باشد و کتاب ترجمه فارسی موجود نمی باشد.
توضیحات
فهرست مطالب
اطلاعات قبل از خربد