Le livre est actuellement en rupture de stock
En savoir plus sur le livre
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.
Achat du livre
Principles of Abstract Interpretation, Patrick Cousot
- Langue
- Année de publication
- 2021
- product-detail.submit-box.info.binding
- (rigide)
Nous vous informerons par e-mail dès que nous l’aurons retrouvé.
Modes de paiement
Personne n'a encore évalué .