Verification, model checking, and abstract interpretation : 6th international conference, VMCAI 2005, Paris, France, January 17-19, 2005 : proceedings

Verification, model checking, and abstract interpretation 6th international conference, VMCAI 2005, Paris, France, January 17-19, 2005 : proceedings

Detalles Bibliográficos
Autor Corporativo: VMCAI 2005 (-)
Otros Autores: Cousot, Radhia (-)
Formato: Libro electrónico
Idioma:Inglés
Publicado: Berlin ; New York : Springer c2005.
Edición:1st ed. 2005.
Colección:Lecture notes in computer science ; 3385.
Materias:
Computer programs > Verification > Congresses.
Ver en Biblioteca Universitat Ramon Llull:https://discovery.url.edu/permalink/34CSUC_URL/1im36ta/alma991009713744406719
Descripción
Notas:Bibliographic Level Mode of Issuance: Monograph
Descripción Física:1 online resource (XII, 483 p.)
Bibliografía:Includes bibliographical references and index.
ISBN:9783540305798

Ejemplares similares