Le livre est actuellement en rupture de stock

En savoir plus sur le livre
Focusing on separation logic, this book provides a comprehensive introduction to both practical and theoretical aspects of software verification, particularly for pointer-manipulating programs. It includes case studies in Hoare and separation logics, along with practical applications in the Verifiable C program logic. Theoretical discussions cover separation algebras, step-indexed models, and tree-shares. Additionally, it explores the CompCert verified C compiler and its relation to verified software analysis tools, all rigorously supported by Coq developments in the Verified Software Toolchain.
Achat du livre
Program Logics for Certified Compilers, Andrew W. Appel
- Langue
- Année de publication
- 2014
- product-detail.submit-box.info.binding
- (rigide)
Nous vous informerons par e-mail dès que nous l’aurons retrouvé.
Modes de paiement
Il manque plus que ton avis ici.