Computer Aided Verification
14th International Conference, CAV 2002 Copenhagen, Denmark, July 27-31, 2002 Proceedings (Lecture Notes in Computer Science)
Edición de la obra Computer aided verification
| Autor | Ed Brinksma |
|---|---|
| Editorial | Springer |
| Fecha de publicación | September 24, 2002 |
| Idioma | inglés |
| Páginas | 626 |
| Formato | Paperback |
| ISBN-13 | 9783540439974 |
| ISBN-10 | 3540439978 |
| OCLC | 50254571 |
| Número de Cutter | B858c |