عنوان
پدید آورنده
موضوع
رده
.V4 2016 E-Book ,
.
V4
2016
E-Book
,
کتابخانه
محل استقرار
INTERNATIONAL STANDARD BOOK NUMBER
(Number (ISBN
:9783662491218
NATIONAL BIBLIOGRAPHY NUMBER
Number
14346
LANGUAGE OF THE ITEM
.Language of Text, Soundtrack etc
انگلیسی
TITLE AND STATEMENT OF RESPONSIBILITY
Title Proper
Verification, Model Checking, and Abstract Interpretation.
General Material Designation
[electronic resources]
Other Title Information
: 17th International Conference, VMCAI 2016 St. Petersburg, FL, USA, January 17–19, 2016 Proceedings
First Statement of Responsibility
\ Barbara Jobstmann , K. Rustan M. Leino (Eds.)
.PUBLICATION, DISTRIBUTION, ETC
Place of Publication, Distribution, etc.
New York
Name of Publisher, Distributor, etc.
: Springer
Date of Publication, Distribution, etc.
, 2016.
PROJECTED PUBLICATION DATE
Date
1601
PHYSICAL DESCRIPTION
Specific Material Designation and Extent of Item
xiii,558 p.
SERIES
Series Title
Lecture Notes in Computer Science
Volume Designation
; 9583
INTERNAL BIBLIOGRAPHIES/INDEXES NOTE
Text of Note
Index
Text of Note
Bibliography
TOPICAL NAME USED AS SUBJECT
Computer software -- Verification -- Congresses.
Software engineering -- Congresses.
Computer software -- Verification.
نرمافزار -- راستیآزمایی -- کنگره ها
نرمافزار -- مهندسی-- کنگرهها
نرمافزار -- راستیآزمایی
LIBRARY OF CONGRESS CLASSIFICATION
Book number
.
V4
2016
E-Book
,
PERSONAL NAME - ALTERNATIVE RESPONSIBILITY
Jobstmann, Barbara
Leino, K. Rustan M.
CORPORATE BODY NAME - PRIMARY RESPONSIBILITY
VMCAI (Conference) (17th : 2016 : Saint Petersburg, Fla.)
ORIGINATING SOURCE
Country
ایران
Date of Transaction
20170403111208.0
Cataloguing Rules (Descriptive Conventions))
rda
ELECTRONIC LOCATION AND ACCESS
Date and Hour of Consultation and Access
9783662491218.pdf
Uniform Resource Identifier
https://www.loc.gov/catdir/enhancements/fy1611/2015958744-d.html
Uniform Resource Identifier
https://www.loc.gov/catdir/enhancements/fy1611/2015958744-t.html
BL
279177
1
N
