عنوان
پدید آورنده
موضوع
رده
QA 76.76 .V47 2015 E-Book ,
QA
76
.
76
.
V47
2015
E-Book
,
کتابخانه
محل استقرار
INTERNATIONAL STANDARD BOOK NUMBER
(Number (ISBN
:9783662460801
NATIONAL BIBLIOGRAPHY NUMBER
Number
12525
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
: 16th International Conference, VMCAI 2015, Mumbai, India, January 12-14, 2015. Proceedings
First Statement of Responsibility
\ Deepak D’Souza, Akash Lal, Kim Guldstrand Larsen (Eds.)
.PUBLICATION, DISTRIBUTION, ETC
Place of Publication, Distribution, etc.
New York
Name of Publisher, Distributor, etc.
: Springer
Date of Publication, Distribution, etc.
, 2015.
PROJECTED PUBLICATION DATE
Date
1502
PHYSICAL DESCRIPTION
Specific Material Designation and Extent of Item
xviii,[467] p.
SERIES
Series Title
Lecture notes in computer science
Volume Designation
; 8931
INTERNAL BIBLIOGRAPHIES/INDEXES NOTE
Text of Note
Index
Text of Note
Bibliography
TOPICAL NAME USED AS SUBJECT
Computer software -- Verification -- Congresses.
Software engineering -- Congresses.
Logics and Meanings of Programs.
نرمافزار -- راستیآزمایی -- کنگره ها
نرمافزار -- مهندسی-- کنگرهها
LIBRARY OF CONGRESS CLASSIFICATION
Class number
QA
76
.
76
Book number
.
V47
2015
E-Book
,
PERSONAL NAME - ALTERNATIVE RESPONSIBILITY
D'Souza, Deepak
Lal, Akash
Larsen, Kim Guldstrand
CORPORATE BODY NAME - PRIMARY RESPONSIBILITY
VMCAI (Conference) (16th : 2015 : Mumbai, India)
ORIGINATING SOURCE
Country
ایران
Date of Transaction
20160929101047.0
Cataloguing Rules (Descriptive Conventions))
rda
ELECTRONIC LOCATION AND ACCESS
Date and Hour of Consultation and Access
9783662460801.pdf
BL
279177
1
Y
