دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب NASA formal methods: 9th international symposium, NFM 2017, Moffett Field, CA, USA, May 16-18, 2017, proceedings
دانلود کتاب روش های رسمی ناسا: نهمین سمپوزیوم بین المللی، NFM 2017، Moffett Field، CA، ایالات متحده آمریکا، 16-18 مه 2017، مجموعه مقالات
مشخصات کتاب
NASA formal methods: 9th international symposium, NFM 2017, Moffett Field, CA, USA, May 16-18, 2017, proceedings
ویرایش: نویسندگان: Barrett. Clark, Davies. Misty, Kahsai. Temesghen سری: Lecture notes in computer science; Formal methods ISBN (شابک) : 9783319572871, 3319572873 ناشر: Springer International Publishing سال نشر: 2017 تعداد صفحات: 0 زبان: English فرمت فایل : EPUB (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 8 مگابایت
قیمت کتاب (تومان) : 43,000
کلمات کلیدی مربوط به کتاب روش های رسمی ناسا: نهمین سمپوزیوم بین المللی، NFM 2017، Moffett Field، CA، ایالات متحده آمریکا، 16-18 مه 2017، مجموعه مقالات: GÉNIE LOGICIEL، مهندسی نرم‌افزار، مشخصات + مفاهیم برنامه‌نویسی (GÉNIE LOGICIEL)، مشخصات (مهندسی نرم‌افزار)، مشخصات (مهندسی نرم‌افزار)
در صورت تبدیل فایل کتاب NASA formal methods: 9th international symposium, NFM 2017, Moffett Field, CA, USA, May 16-18, 2017, proceedings به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب روش های رسمی ناسا: نهمین سمپوزیوم بین المللی، NFM 2017، Moffett Field، CA، ایالات متحده آمریکا، 16-18 مه 2017، مجموعه مقالات نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب روش های رسمی ناسا: نهمین سمپوزیوم بین المللی، NFM 2017، Moffett Field، CA، ایالات متحده آمریکا، 16-18 مه 2017، مجموعه مقالات
این کتاب مجموعه مقالات نهمین سمپوزیوم بین‌المللی روش‌های رسمی ناسا، NFM 2017 است که در موفت فیلد، کالیفرنیا، ایالات متحده آمریکا، در ماه مه 2017 برگزار شد. . این مقالات بر روی تکنیک‌های رسمی و سایر رویکردها برای تضمین نرم‌افزار، تئوری، قابلیت‌ها و محدودیت‌های فعلی و همچنین کاربرد بالقوه آن‌ها در هوافضا، رباتیک، و دیگر سیستم‌های حیاتی ایمنی مرتبط با ناسا در تمام مراحل چرخه حیات نرم‌افزار تمرکز دارند. .
توضیحاتی درمورد کتاب به خارجی
This book constitutes the proceedings of the 9th International Symposium on NASA Formal Methods, NFM 2017, held in Moffett Field, CA, USA, in May 2017. The 23 full and 8 short papers presented in this volume were carefully reviewed and selected from 77 submissions. The papers focus on formal techniques and other approaches for software assurance, their theory, current capabilities and limitations, as well as their potential application to aerospace, robotics, and other NASA-relevant safety-critical systems during all stages of the software life-cycle.
