|
|
2.
|
Verification, Model Checking, and Abstract Interpretation : 9th International Conference, VMCAI 2008, San Francisco, USA, January 7-9, 2008. Proceedings / edited by Francesco Logozzo, Doron A. Peled, Lenore D. Zuck. por
- Logozzo, Francesco [editor.]
- Peled, Doron A [editor.]
- Zuck, Lenore D [editor.]
- SpringerLink (Servicio en línea)
Series Lecture Notes in Computer Science ; 4905
Tipo de material:  Texto; Formato:
disponible en línea  ; Forma literaria:
No es ficción Editor: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008
Disponibilidad: No hay ítems disponibles.
|
