عنوان
پدید آورنده
موضوع
رده
QA76.76.V47 E358 2013
QA76
.
76
.
V47
E358
2013
کتابخانه
محل استقرار
شابک
شابک
3642391761
شابک
9783642391767
شماره کتابشناسی ملی
شماره
b568059
عنوان و نام پديدآور
عنوان اصلي
Model Checking Software :
نام عام مواد
[Book]
ساير اطلاعات عنواني
20th International Symposium, SPIN 2013, Stony Brook, NY, USA, July 8-9, 2013. Proceedings
نام نخستين پديدآور
edited by Ezio Bartocci, C.R. Ramakrishnan.
وضعیت نشر و پخش و غیره
محل نشرو پخش و غیره
Berlin, Heidelberg
نام ناشر، پخش کننده و غيره
Springer Berlin Heidelberg : Imprint : Springer
تاریخ نشرو بخش و غیره
2013
مشخصات ظاهری
نام خاص و کميت اثر
(x, 377 pages 143 illustrations)
فروست
عنوان فروست
Lecture notes in computer science, 7976.
یادداشتهای مربوط به مندرجات
متن يادداشت
Explicit-state model checking techniques --; Other related tools --; Techniques for the verification and formal testing of software systems in general.
یادداشتهای مربوط به خلاصه یا چکیده
متن يادداشت
This book constitutes the refereed proceedings of the 20th International Symposium on Model Checking Software, SPIN 2013, held in Stony Brook, NY, USA, in July 2013. The 18 regular papers, 2 tool demonstration papers, and 2 invited papers were carefully reviewed and selected from 40 submissions. The traditional focus of SPIN has been on explicit-state model checking techniques, as implemented in SPIN and other related tools. While such techniques are still of key interest to the workshop, its scope has broadened over recent years to include techniques for the verification and formal testing of software systems in general.
موضوع (اسم عام یاعبارت اسمی عام)
موضوع مستند نشده
Computer science.
موضوع مستند نشده
Logic design.
موضوع مستند نشده
Software engineering.
رده بندی کنگره
شماره رده
QA76
.
76
.
V47
نشانه اثر
E358
2013
نام شخص به منزله سر شناسه - (مسئولیت معنوی درجه اول )
مستند نام اشخاص تاييد نشده
edited by Ezio Bartocci, C.R. Ramakrishnan.
نام شخص - (مسئولیت معنوی برابر )
مستند نام اشخاص تاييد نشده
C R Ramakrishnan
مستند نام اشخاص تاييد نشده
Ezio Bartocci
دسترسی و محل الکترونیکی
نام الکترونيکي
مطالعه متن کتاب اطلاعات رکورد کتابشناسی
نوع ماده
[Book]
اطلاعات دسترسی رکورد
تكميل شده
Y
