Verification, Model Checking, and Abstract Interpretation
- ISBN
- 9783540436317
Verification, Model Checking, and Abstract Interpretation es un verification, computer programs book de Agostino Cortesi.
Descubre Verification, Model Checking, and Abstract Interpretation de Agostino Cortesi, verification.
Sobre el Autor
es el autor de Verification, Model Checking, and Abstract Interpretation. Explora su catálogo completo en Booklogr.
Explora más libros de Agostino Cortesi →Ediciones y Formatos
Reseñas
Sin reseñas aún. ¿Has leído este libro? Comparte tus opiniones con la comunidad de Booklogr.
Iniciar sesión Inicia sesión para escribir una reseña
Preguntas Frecuentes
¿De qué género es Verification, Model Checking, and Abstract Interpretation?+
Verification, Model Checking, and Abstract Interpretation es un libro de Verification, Computer programs.
¿Quién escribió Verification, Model Checking, and Abstract Interpretation?+
Verification, Model Checking, and Abstract Interpretation fue escrito por Agostino Cortesi.