Advanced Formal Verification
Edición de la obra Advanced Formal Verification
| Autor | Rolf Drechsler |
|---|---|
| Editorial | Springer |
| Fecha de publicación | January 31, 2004 |
| Idioma | inglés |
| Páginas | 260 |
| Formato | Hardcover |
| ISBN-13 | 9781402077210 |
| ISBN-10 | 1402077211 |
| Número de Cutter | D771a |