عنوان
پدید آورنده
موضوع
رده
QA76.9.F67
QA76
.
9
.
F67
کتابخانه
محل استقرار
شابک
شابک
3319779346
شابک
3319779354
شابک
9783319779348
شابک
9783319779355
شابک اشتباه
9783319779348
عنوان و نام پديدآور
عنوان اصلي
NASA formal methods :
نام عام مواد
[Book]
ساير اطلاعات عنواني
10th International Symposium, NFM 2018, Newport News, VA, USA, April 17-19, 2018, Proceedings /
نام نخستين پديدآور
Aaron Dutle, César Muñoz, Anthony Narkawicz (eds.).
وضعیت نشر و پخش و غیره
محل نشرو پخش و غیره
Cham :
نام ناشر، پخش کننده و غيره
Springer,
تاریخ نشرو بخش و غیره
2018.
مشخصات ظاهری
نام خاص و کميت اثر
1 online resource (xi, 470 pages) :
ساير جزييات
illustrations
فروست
عنوان فروست
Formal methods
عنوان فروست
Lecture notes in computer science,
عنوان فروست
LNCS sublibrary. SL 2, Programming and software engineering
مشخصه جلد
10811
شاپا ي ISSN فروست
0302-9743 ;
يادداشت کلی
متن يادداشت
Includes author index.
متن يادداشت
International conference proceedings.
یادداشتهای مربوط به خلاصه یا چکیده
متن يادداشت
This book constitutes the proceedings of the 10th International Symposium on NASA Formal Methods, NFM 2018, held in Newport News, VA, USA, in April 2018 . The 24 full and 7 short papers presented in this volume were carefully reviewed and selected from 92 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.
یادداشتهای مربوط به سفارشات
منبع سفارش / آدرس اشتراک
Springer Nature
شماره انبار
com.springer.onix.9783319779355
ویراست دیگر از اثر در قالب دیگر رسانه
شماره استاندارد بين المللي کتاب و موسيقي
9783319779348
عنوان اصلی به زبان دیگر
عنوان اصلي به زبان ديگر
NFM 2018
موضوع (اسم عام یاعبارت اسمی عام)
موضوع مستند نشده
Formal methods (Computer science), Congresses.
موضوع مستند نشده
Artificial intelligence.
موضوع مستند نشده
Computer modelling & simulation.
موضوع مستند نشده
Computer science.
موضوع مستند نشده
Computers-- Computer Science.
موضوع مستند نشده
Computers-- Computer Simulation.
موضوع مستند نشده
Computers-- Hardware-- Handheld Devices.
موضوع مستند نشده
Computers-- Intelligence (AI) & Semantics.
موضوع مستند نشده
Computers-- Programming Languages-- General.
موضوع مستند نشده
Computers-- Software Development & Engineering-- General.
موضوع مستند نشده
Formal methods (Computer science)
موضوع مستند نشده
Programming & scripting languages: general.
موضوع مستند نشده
Software Engineering.
موضوع مستند نشده
Systems analysis & design.
مقوله موضوعی
موضوع مستند نشده
COM051230
موضوع مستند نشده
UMZ
موضوع مستند نشده
UMZ
رده بندی ديویی
شماره
004
.
01/51
ويراست
23
رده بندی کنگره
شماره رده
QA76
.
9
.
F67
نام شخص - (مسئولیت معنوی برابر )
مستند نام اشخاص تاييد نشده
Dutle, Aaron Michael
مستند نام اشخاص تاييد نشده
Muñoz, César A.,1968-
مستند نام اشخاص تاييد نشده
Narkawicz, Anthony Joseph,1982-
نام تنالگان به منزله سر شناسه - (مسئولیت معنوی درجه اول )
مستند نام تنالگان تاييد نشده
NFM (Symposium)(10th :2018 :, Newport News, Va.)
مبدا اصلی
تاريخ عمليات
20200823112731.0
قواعد فهرست نويسي ( بخش توصيفي )
pn
دسترسی و محل الکترونیکی
نام الکترونيکي
مطالعه متن کتاب اطلاعات رکورد کتابشناسی
نوع ماده
[Book]
اطلاعات دسترسی رکورد
تكميل شده
Y
