Verification, Model Checking, and Abstract Interpretation
- ISBN
- 9783540305798
Verification, Model Checking, and Abstract Interpretation es un vérification, verification book de Radhia Cousot.
Descubre Verification, Model Checking, and Abstract Interpretation de Radhia Cousot, vérification.
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 Radhia Cousot →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 Vérification, Verification, Logiciels, Computer programs.
¿Quién escribió Verification, Model Checking, and Abstract Interpretation?+
Verification, Model Checking, and Abstract Interpretation fue escrito por Radhia Cousot.