Verification, Model Checking, and Abstract Interpretation
- ISBN
- 9783540697381
Verification, Model Checking, and Abstract Interpretation es un computer programming, computers book de Kedar S. Namjoshi.
Descubre Verification, Model Checking, and Abstract Interpretation de Kedar S. Namjoshi, computer programming.
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 Kedar S. Namjoshi →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 Computer Programming, Computers, Computers - General Information, Computer Books: General, Logic Design.
¿Quién escribió Verification, Model Checking, and Abstract Interpretation?+
Verification, Model Checking, and Abstract Interpretation fue escrito por Kedar S. Namjoshi.