عنوان
پدید آورنده
موضوع
رده
QA 76 .76 .V47 I58 2015 E-Book ,
QA
76
.
76
.
V47
I58
2015
E-Book
,
کتابخانه
محل استقرار
:9783319234038
13714
انگلیسی
Model Checking Software
[electronic resources]
: 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)
ایران
20170209
9783319234038.pdf
p
BL
279177
1
a
Y
نرمافزار -- مهندسی -- کنگرهها
Software engineering -- Congresses
