Computer Aided Verification
3rd International Workshop, Cav '91, Aalborg, Denmark, July 1-4, 1991. Proceedings (Lecture Notes in Computer Science)
Edición de la obra Computer aided verification
| Autor | Kim Guldstrand Larsen |
|---|---|
| Editorial | Springer |
| Fecha de publicación | May 1992 |
| Idioma | inglés |
| Páginas | 487 |
| Formato | Paperback |
| ISBN-13 | 9783540551799 |
| ISBN-10 | 3540551794 |
| OCLC | 25369117, 311447994 |
| LCCN | 92007811 |
| Número de Cutter |