Authors | |
Publisher | MIT Press Ltd |
Year | 11/02/2020 |
Pages | 320 |
Version | hardback |
Readership level | College/higher education |
Language | English |
ISBN | 9780262043410 |
Categories | Mathematical & statistical software |
Introduction to Static Analysis: An Abstract Interpretation Perspective