Computer-Aided Verification
2nd International Conference, Cav '90 New Brunswick, Nj, Usa, June 18-21, 1990 Proceedings (Lecture Notes in Computer Science)
Edición de la obra Computer-Aided Verification
| Autor | E. M. Clarke |
|---|---|
| Editorial | Springer |
| Fecha de publicación | October 1991 |
| Idioma | inglés |
| Páginas | 372 |
| Formato | Paperback |
| ISBN-13 | 9780387544779 |
| ISBN-10 | 0387544771 |
| Número de Cutter | C597c |