: 22nd International Symposium, SPIN 2015 Stellenbosch, South Africa, August 24–26, 2015 Proceedings
First Statement of Responsibility
\ Bernd Fischer, Jaco Geldenhuys (eds.)
.PUBLICATION, DISTRIBUTION, ETC
Place of Publication, Distribution, etc.
Cham
Name of Publisher, Distributor, etc.
: Springer
Date of Publication, Distribution, etc.
, 2015
PHYSICAL DESCRIPTION
Specific Material Designation and Extent of Item
1 online resource (xviii, 319 pages)
Other Physical Details
:ill.
SERIES
Series Title
Lecture notes in computer science
Series Title
LNCS sublibrary. SL 1, Theoretical computer science and general issues
Volume Designation
; 9232
GENERAL NOTES
Text of Note
International conference proceedings
INTERNAL BIBLIOGRAPHIES/INDEXES NOTE
Text of Note
Index
Text of Note
Bibliography
CONTENTS NOTE
Text of Note
Abstraction, refinement, translation Büchi automata and hashing Embedded systems Heuristics and benchmarks SAT/SMT- based approaches Software validation and verification.
0
TOPICAL NAME USED AS SUBJECT
Entry Element
Software engineering
Entry Element
نرمافزار
Form Subdivision
-- Congresses
Form Subdivision
-- کنگرهها
Topical Subdivision
-- مهندسی
a04
a04
Computer software -- Verification -- Congresses
SPIN (Computer file) -- Congresses.
نرمافزار -- راستیآزمایی -- کنگره ها
LIBRARY OF CONGRESS CLASSIFICATION
Class number
QA
76
.
76
Book number
.
V47
I58
2015
E-Book
,
PERSONAL NAME - ALTERNATIVE RESPONSIBILITY
Fischer, Bernd, editor
Geldenhuys, Jaco, editor
CORPORATE BODY NAME - PRIMARY RESPONSIBILITY
International SPIN Workshop (22nd : 2015 : Stellenbosch, South Africa)