عنوان
پدید آورنده
موضوع
رده
QA 76 .76 .V47 I58 2015 E-Book ,
QA
76
.
76
.
V47
I58
2015
E-Book
,
کتابخانه
محل استقرار
INTERNATIONAL STANDARD BOOK NUMBER
(Number (ISBN
:9783319234038
NATIONAL BIBLIOGRAPHY NUMBER
Number
13714
LANGUAGE OF THE ITEM
.Language of Text, Soundtrack etc
انگلیسی
TITLE AND STATEMENT OF RESPONSIBILITY
Title Proper
Model Checking Software
General Material Designation
[electronic resources]
Other Title Information
: 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)
ORIGINATING SOURCE
Country
ایران
Date of Transaction
20170209
ELECTRONIC LOCATION AND ACCESS
Date and Hour of Consultation and Access
9783319234038.pdf
p
BL
279177
1
a
Y
نرمافزار -- مهندسی -- کنگرهها
Software engineering -- Congresses
