Computer Aided Verification
11th International Conference, CAV'99, Trento, Italy, July 6-10, 1999, Proceedings (Lecture Notes in Computer Science)
Edición de la obra Computer aided verification
| Autor | Nicolas Halbwachs, Doron Peled |
|---|---|
| Editorial | Springer |
| Fecha de publicación | July 30, 1999 |
| Idioma | inglés |
| Páginas | 506 |
| Formato | Paperback |
| ISBN-13 | 9783540662020 |
| ISBN-10 | 3540662022 |
| OCLC | 41926351 |
| Número de Cutter |