/LC.GIF&client=easterncarolinaedu)
Static analysis 19th international symposium, SAS 2012, Deauville, France, September 11-13, 2012 : proceedings / Antoine Miné, David Schmidt (eds.).
| Author/creator | International Static Analysis Symposium |
| Other author | Miné, Antoine. |
| Other author | Schmidt, David A., 1953 May 10- |
| Format | Electronic |
| Publication Info | Berlin ; New York : Springer, |
| Description | xi, 455 p. : ill. ; 24 cm. |
| Supplemental Content | Full text available from Springer Books |
| Supplemental Content | Full text available from Springer Nature - Springer Computer Science eBooks 2012 English International |
| Supplemental Content | Full text available from SpringerLINK Lecture Notes in Computer Science Contemporary (1997-present) |
| Subjects |
| Portion of title | SAS 2012. |
| Series | Lecture notes in computer science ; 7460. Advanced research in computing and software science. LNCS sublibrary. SL 2, Programming and software engineering. Lecture notes in computer science. Advanced research in computing and software science. UNAUTHORIZED LNCS sublibrary. SL 2, Programming and software engineering. UNAUTHORIZED |
| General note | International conference proceedings. |
| Bibliography note | Includes bibliographical references and author index. |
| Access restriction | Available only to authorized users. |
| Technical details | Mode of access: World Wide Web |
| Genre/form | Electronic books. |
| LCCN | 2012945543 |
| ISBN | 9783642331244 (pbk. : alk. paper) |
| ISBN | 3642331246 (pbk. : alk. paper) |
Availability
| Library | Location | Call Number | Status | Item Actions |
|---|---|---|---|---|
| Electronic Resources | ✔ Available |