Static analysis of software [electronic resource] : the abstract interpretation / edited by Jean-Louis Boulanger.
2012
QA76.76.T48 S75 2012eb
Formats
| Format | |
|---|---|
| BibTeX | |
| MARCXML | |
| TextMARC | |
| MARC | |
| DublinCore | |
| EndNote | |
| NLM | |
| RefWorks | |
| RIS |
Linked e-resources
Linked Resource
Details
Title
Static analysis of software [electronic resource] : the abstract interpretation / edited by Jean-Louis Boulanger.
ISBN
9781848213203
9781118602843 electronic book
9781118602843 electronic book
Publication Details
Hoboken, N.J. : Wiley, 2012.
Language
English
Description
xiv, 331 p. : ill.
Call Number
QA76.76.T48 S75 2012eb
Dewey Decimal Classification
005.1/4
Bibliography, etc. Note
Includes bibliographical references and index.
Access Note
Access limited to authorized users.
Added Author
Linked Resources
Record Appears in