Kniha momentálne nie je na sklade
Viac o knihe
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.
Nákup knihy
Principles of Abstract Interpretation, Patrick Cousot
- Jazyk
- Rok vydania
- 2021
- product-detail.submit-box.info.binding
- (pevná)
Akonáhle sa objaví, pošleme e-mail.
Platobné metódy
Nikto zatiaľ neohodnotil.