عنوان
پدید آورنده
موضوع
رده
QA76.9.F67 E358 2013
QA76
.
9
.
F67
E358
2013
کتابخانه
محل استقرار
شابک
شابک
3642380883
شابک
9783642380884
شماره کتابشناسی ملی
شماره
b567954
عنوان و نام پديدآور
عنوان اصلي
NASA Formal Methods :
نام عام مواد
[Book]
ساير اطلاعات عنواني
5th International Symposium, NFM 2013, Moffett Field, CA, USA, May 14-16, 2013. Proceedings
نام نخستين پديدآور
edited by Guillaume Brat, Neha Rungta, Arnaud Venet.
وضعیت نشر و پخش و غیره
محل نشرو پخش و غیره
Berlin, Heidelberg
نام ناشر، پخش کننده و غيره
Springer Berlin Heidelberg : Imprint : Springer
تاریخ نشرو بخش و غیره
2013
مشخصات ظاهری
نام خاص و کميت اثر
(XXIV, 486 p. 164 illustrations)
فروست
عنوان فروست
Lecture Notes in Computer Science, 7871.
یادداشتهای مربوط به مندرجات
متن يادداشت
Model checking.- Applications of formal methods.- Complex systems.- Static analysis.- Symbolic execution.- Requirements and specifications.- Probabilistic and statistical analysis.- Theorem proving.
یادداشتهای مربوط به خلاصه یا چکیده
متن يادداشت
This book constitutes the refereed proceedings of the 5th International Symposium on NASA Formal Methods, NFM 2013, held in Moffett Field, CA, USA, in May 2013. The 28 revised regular papers presented together with 9 short papers talks were carefully reviewed and selected from 99 submissions. The topics are organized in topical sections on model checking; applications of formal methods; complex systems; static analysis; symbolic execution; requirements and specifications; probabilistic and statistical analysis; and theorem proving.
موضوع (اسم عام یاعبارت اسمی عام)
موضوع مستند نشده
Computer science.
موضوع مستند نشده
Operating systems (Computers)
موضوع مستند نشده
Software engineering.
رده بندی کنگره
شماره رده
QA76
.
9
.
F67
نشانه اثر
E358
2013
نام شخص به منزله سر شناسه - (مسئولیت معنوی درجه اول )
مستند نام اشخاص تاييد نشده
edited by Guillaume Brat, Neha Rungta, Arnaud Venet.
نام شخص - (مسئولیت معنوی برابر )
مستند نام اشخاص تاييد نشده
Arnaud Venet
مستند نام اشخاص تاييد نشده
Guillaume Brat
مستند نام اشخاص تاييد نشده
Neha Rungta
دسترسی و محل الکترونیکی
نام الکترونيکي
مطالعه متن کتاب اطلاعات رکورد کتابشناسی
نوع ماده
[Book]
اطلاعات دسترسی رکورد
تكميل شده
Y
