: 22nd International Symposium, SPIN 2015 Stellenbosch, South Africa, August 24–26, 2015 Proceedings
نام نخستين پديدآور
\ Bernd Fischer, Jaco Geldenhuys (eds.)
وضعیت نشر و پخش و غیره
محل نشرو پخش و غیره
Cham
نام ناشر، پخش کننده و غيره
: Springer
تاریخ نشرو بخش و غیره
, 2015
مشخصات ظاهری
نام خاص و کميت اثر
1 online resource (xviii, 319 pages)
ساير جزييات
:ill.
فروست
عنوان فروست
Lecture notes in computer science
عنوان فروست
LNCS sublibrary. SL 1, Theoretical computer science and general issues
مشخصه جلد
; 9232
يادداشت کلی
متن يادداشت
International conference proceedings
یادداشتهای مربوط به کتابنامه ، واژه نامه و نمایه های داخل اثر
متن يادداشت
Index
متن يادداشت
Bibliography
یادداشتهای مربوط به مندرجات
متن يادداشت
Abstraction, refinement, translation Büchi automata and hashing Embedded systems Heuristics and benchmarks SAT/SMT- based approaches Software validation and verification.
بدون عنوان
0
موضوع (اسم عام یاعبارت اسمی عام)
عنصر شناسه ای
Software engineering
عنصر شناسه ای
نرمافزار
تقسیم فرعی شکلی
-- Congresses
تقسیم فرعی شکلی
-- کنگرهها
تقسیم فرعی موضوعی
-- مهندسی
داده رابط بین فیلدها
a04
داده رابط بین فیلدها
a04
موضوع مستند نشده
Computer software -- Verification -- Congresses
موضوع مستند نشده
SPIN (Computer file) -- Congresses.
موضوع مستند نشده
نرمافزار -- راستیآزمایی -- کنگره ها
رده بندی کنگره
شماره رده
QA
76
.
76
نشانه اثر
.
V47
I58
2015
شماره رکورد غير از شماره رده بندي
E-Book
,
نام شخص - (مسئولیت معنوی برابر )
مستند نام اشخاص تاييد نشده
Fischer, Bernd, editor
مستند نام اشخاص تاييد نشده
Geldenhuys, Jaco, editor
نام تنالگان به منزله سر شناسه - (مسئولیت معنوی درجه اول )
مستند نام تنالگان تاييد نشده
International SPIN Workshop (22nd : 2015 : Stellenbosch, South Africa)