Verification, model checking, and abstract interpretation
by VMCAI 2004 (Conference) (2004 Venice, Italy)
- ISBN
- 3540208038
Verification, model checking, and abstract interpretation es un verification, computer programs book de VMCAI 2004 (Conference) (2004 Venice, Italy).
Descubre Verification, model checking, and abstract interpretation de VMCAI 2004 (Conference) (2004 Venice, Italy), 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 VMCAI 2004 (Conference) (2004 Venice, Italy) →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 VMCAI 2004 (Conference) (2004 Venice, Italy).