The book is currently out of stock
More about the book
Focusing on the theory and practice of abstract interpretation, this book explores its applications in semantics, specification, verification, and static analysis of computer programs. It provides a comprehensive introduction to the concepts and methodologies that underpin abstract interpretation, making it a valuable resource for understanding how to analyze and verify software effectively.
Book purchase
Principles of Abstract Interpretation, Patrick Cousot
- Language
- Released
- 2021
- product-detail.submit-box.info.binding
- (Hardcover)
We’ll email you as soon as we track it down.
Payment methods
No one has rated yet.