Static analysis [electronic resource] : 21st International Symposium, SAS 2014, Munich, Germany, September 11-13, 2014. Proceedings / Markus Müller-Olm, Helmut Seidl (eds.).
2014
QA76.6
Linked e-resources
Linked Resource
Online Access
Details
Title
Static analysis [electronic resource] : 21st International Symposium, SAS 2014, Munich, Germany, September 11-13, 2014. Proceedings / Markus Müller-Olm, Helmut Seidl (eds.).
ISBN
9783319109367 electronic book
3319109367 electronic book
9783319109350
3319109367 electronic book
9783319109350
Published
Cham : Springer, 2014.
Language
English
Description
1 online resource (xviii, 337 pages) : illustrations.
Item Number
10.1007/978-3-319-10936-7 doi
Call Number
QA76.6
Dewey Decimal Classification
005.1
Note
International conference proceedings.
Bibliography, etc. Note
Includes bibliographical references and author index.
Access Note
Access limited to authorized users.
Source of Description
Description based on online resource; title from PDF title page (SpringerLink, viewed September 18, 2014).
Series
Lecture notes in computer science ; 8723.
Lecture notes in computer science. Advanced research in computing and software science.
LNCS sublibrary. SL 1, Theoretical computer science and general issues.
Lecture notes in computer science. Advanced research in computing and software science.
LNCS sublibrary. SL 1, Theoretical computer science and general issues.
Linked Resources
Online Access
Record Appears in
Online Resources > Ebooks
All Resources
All Resources