Título: | Verification, model checking, and abstract interpretation : 6th international conference, VMCAI 2005, Paris, France, January 17-19, 2005 |
Autores: | Radhia (ed.) Cousot, Editor científico |
Tipo de documento: | texto impreso |
Editorial: | New York : Springer-Verlag, 2005 |
ISBN/ISSN/DL: | 3-540-2497-X |
Dimensiones: | 481 p. / ill |
Palabras claves: | Verificacion de modelos,Interpretacion |
Ejemplares (1)
Código de barras | Signatura | Tipo de medio | Ubicación | Sección | Estado |
---|---|---|---|---|---|
5403109136 | 005.8 C82 008026 | Libros | Libros | Libros | Disponible |