Verification, Model Checking, and Abstract Interpretation 4th International Conference, VMCAI 2003, New York, NY, USA, January 9-11, 2003, Proceedings
- Idioma
- Inglés
- Publicación
- 2014
- Editorial
- Springer Berlin Heidelberg
- Páginas
- 328
- ISBN
- 9783662169674
Temas
Edición original
Verification, Model Checking, and Abstract Interpretation Third International Workshop, VMCAI 2002, Venice, Italy, January 21-22, 2002, Revised PapersPublicado originalmente en 2002 Inglés Springer Science & Business Media
Otras ediciones (2)
- Verification, Model Checking, and Abstract Interpretation Third International Workshop, VMCAI 2002, Venice, Italy, January 21-22, 2002, Revised Papers
- Verification, Model Checking, and Abstract Interpretation Third International Workshop, VMCAI 2002, Venice, Italy, January 21-22, 2002, Revised Papers
Todavía no hay reseñas. ¿Escribes la primera?