Verification, Model Checking, and Abstract Interpretation
Third International Workshop, VMCAI 2002, Venice, Italy, January 21-22, 2002, Revised Papers (Lecture Notes in Computer Science)
Edición de la obra Verification, Model Checking, and Abstract Interpretation
| Autor | Agostino Cortesi |
|---|---|
| Editorial | Springer |
| Fecha de publicación | May 28, 2002 |
| Idioma | inglés |
| Páginas | 331 |
| Formato | Paperback |
| ISBN-13 | 9783540436317 |
| ISBN-10 | 3540436316 |
| Número de Cutter | C828v |