Het boek is momenteel niet op voorraad
Meer over het boek
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.
Een boek kopen
Principles of Abstract Interpretation, Patrick Cousot
- Taal
- Jaar van publicatie
- 2021
- product-detail.submit-box.info.binding
- (Hardcover)
Zodra we het ontdekt hebben, sturen we een e-mail.
Betaalmethoden
Nog niemand heeft beoordeeld.