|
" Static analysis : "
Antoine Miné, David Schmidt (eds.).
| Document Type
|
:
|
BL
|
| Record Number
|
:
|
687118
|
| Doc. No
|
:
|
b509307
|
| Main Entry
|
:
|
International Static Analysis Symposium(19th :2012 :, Deauville, France)
|
| Title & Author
|
:
|
Static analysis : : 19th international symposium, SAS 2012, Deauville, France, September 11-13, 2012 : proceedings /\ Antoine Miné, David Schmidt (eds.).
|
| Publication Statement
|
:
|
Heidelberg ;New York :: Springer,, [2012]
|
|
|
:
|
, ©2012
|
| Series Statement
|
:
|
Advanced research in computing and software science
|
|
|
:
|
Lecture notes in computer science,; 7460
|
|
|
:
|
LNCS sublibrary. SL 2, Programming and software engineering
|
| Page. NO
|
:
|
1 online resource (xi, 455 pages) :: illustrations.
|
| ISBN
|
:
|
3642331254 (electronic bk.)
|
|
|
:
|
: 9783642331251 (electronic bk.)
|
|
|
:
|
3642331246
|
|
|
:
|
9783642331244
|
| Bibliographies/Indexes
|
:
|
Includes bibliographical references and index
|
| Subject
|
:
|
Computer programming, Congresses.
|
| Subject
|
:
|
Programming languages (Electronic computers), Congresses.
|
| Dewey Classification
|
:
|
005.1
|
| LC Classification
|
:
|
QA76.6.I5733 2012eb
|
| Added Entry
|
:
|
Miné, Antoine.
|
|
|
:
|
Schmidt, David A.,1953 May 10-
|
| Added Entry
|
:
|
Ohio Library and Information Network.
|
| Parallel Title
|
:
|
SAS 2012
|
| |