عنوان
پدید آورنده
موضوع
رده
QA76.76.V47 C38 2012eb
QA76
.
76
.
V47
C38
2012eb
کتابخانه
محل استقرار
INTERNATIONAL STANDARD BOOK NUMBER
(Number (ISBN
3642314244 (electronic bk.)
(Number (ISBN
9783642314247 (electronic bk.)
Erroneous ISBN
3642314236
Erroneous ISBN
9783642314230
NATIONAL BIBLIOGRAPHY NUMBER
Number
b434685
TITLE AND STATEMENT OF RESPONSIBILITY
Title Proper
Computer aided verification
General Material Designation
[Book]
Other Title Information
24th international conference, CAV 2012, Berkeley, CA, USA, July 7-13, 2012 : proceedings /
First Statement of Responsibility
P. Madhusudan, Sanjit A. Seshia (eds.)
.PUBLICATION, DISTRIBUTION, ETC
Place of Publication, Distribution, etc.
New York :
Name of Publisher, Distributor, etc.
Springer,
Date of Publication, Distribution, etc.
c2012
PHYSICAL DESCRIPTION
Specific Material Designation and Extent of Item
1 online resource (xvi, 789 p.) :
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
7358
ISSN of Series
1611-3349 ;
INTERNAL BIBLIOGRAPHIES/INDEXES NOTE
Text of Note
Includes bibliographical references and index
OTHER EDITION IN ANOTHER MEDIUM
Title
Computer Aided Verification: 24th International Conference.
International Standard Book Number
9783642314230
PIECE
Title
OhioLINK electronic book center (Online)
Title
SpringerLink
PARALLEL TITLE PROPER
Parallel Title
CAV 2012
TOPICAL NAME USED AS SUBJECT
Computer software-- Verification, Congresses
DEWEY DECIMAL CLASSIFICATION
Number
004
.
24
Edition
22
LIBRARY OF CONGRESS CLASSIFICATION
Class number
QA76
.
76
.
V47
Class number
QA76
.
76
.
V47
Book number
C38
2012eb
Book number
C38
2012eb
PERSONAL NAME - ALTERNATIVE RESPONSIBILITY
Madhusudan, P
Seshia, Sanjit A
CORPORATE BODY NAME - PRIMARY RESPONSIBILITY
CAV (Conference)(24th :2012 :, Berkeley, Calif.)
ORIGINATING SOURCE
Date of Transaction
20130102095453.0
ELECTRONIC LOCATION AND ACCESS
Electronic name
مطالعه متن کتاب [Book]
Y
