1 / 1
- 2021
- year of publication
- 832
- pages
- English (United States)
- language
- Hardcover
- cover
- Publisher
- the_mit_press
- ISBN-13
- 978-02-6204-490-5
- EAN
- 9780262044905
- Publication date
- 2021-09-21
- Book
- Principles of Abstract Interpretation · 1 edition
The publisher on this edition
Introduction to abstract interpretation, with examples of applications to the semantics, specification, verification, and static analysis of computer programs. Formal methods are mathematically rigorous...