عنوان
پدید آورنده
موضوع
رده
QA76.6 .I5733 2012eb
QA76
.
6
.
I5733
2012eb
کتابخانه
محل استقرار
INTERNATIONAL STANDARD BOOK NUMBER
(Number (ISBN
3642331254 (electronic bk.)
(Number (ISBN
9783642331251 (electronic bk.)
Erroneous ISBN
3642331246
Erroneous ISBN
9783642331244
NATIONAL BIBLIOGRAPHY NUMBER
Number
b509307
TITLE AND STATEMENT OF RESPONSIBILITY
Title Proper
Static analysis :
General Material Designation
[Book]
Other Title Information
19th international symposium, SAS 2012, Deauville, France, September 11-13, 2012 : proceedings /
First Statement of Responsibility
Antoine Miné, David Schmidt (eds.).
.PUBLICATION, DISTRIBUTION, ETC
Place of Publication, Distribution, etc.
New York :
Name of Publisher, Distributor, etc.
Springer,
Date of Publication, Distribution, etc.
[2012]
Date of Publication, Distribution, etc.
©2012
PHYSICAL DESCRIPTION
Specific Material Designation and Extent of Item
1 online resource (xi, 455 pages) :
Other Physical Details
illustrations.
SERIES
Series Title
Advanced research in computing and software science
Series Title
Lecture notes in computer science,
Series Title
LNCS sublibrary. SL 2, Programming and software engineering
Volume Designation
7460
ISSN of Series
0302-9743 ;
INTERNAL BIBLIOGRAPHIES/INDEXES NOTE
Text of Note
Includes bibliographical references and index
OTHER EDITION IN ANOTHER MEDIUM
Title
Static analysis.
PIECE
Title
OhioLINK electronic book center (Online)
Title
SpringerLink
PARALLEL TITLE PROPER
Parallel Title
SAS 2012
TOPICAL NAME USED AS SUBJECT
Computer programming, Congresses.
Programming languages (Electronic computers), Congresses.
DEWEY DECIMAL CLASSIFICATION
Number
005
.
1
Edition
23
LIBRARY OF CONGRESS CLASSIFICATION
Class number
QA76
.
6
Book number
.
I5733
2012eb
PERSONAL NAME - ALTERNATIVE RESPONSIBILITY
Miné, Antoine.
Schmidt, David A.,1953 May 10-
CORPORATE BODY NAME - PRIMARY RESPONSIBILITY
International Static Analysis Symposium(19th :2012 :, Deauville, France)
CORPORATE BODY NAME - ALTERNATIVE RESPONSIBILITY
Ohio Library and Information Network.
ORIGINATING SOURCE
Date of Transaction
20130304114536.0
Cataloguing Rules (Descriptive Conventions))
rda
ELECTRONIC LOCATION AND ACCESS
Electronic name
مطالعه متن کتاب [Book]
Y
