Computer Aided Verification: 3rd International Workshop, Cav 92
Proceedings (Lecture Notes in Computer Science)
Edición de la obra Computer Aided Verification: 3rd International Workshop, Cav 92
| Autor | Kim G. Larsen |
|---|---|
| Editorial | Springer |
| Fecha de publicación | June 1992 |
| Idioma | inglés |
| Páginas | 487 |
| Formato | Paperback |
| ISBN-13 | 9780387551791 |
| ISBN-10 | 0387551794 |
| Número de Cutter | L334c |