Formal hardware verification
methods and systems in comparison
Edición de la obra Formal hardware verification
| Autor | Thomas Kropf, Gerhard Goos, Juris Hartmanis |
|---|---|
| Editorial | Springer |
| Fecha de publicación | 1997 |
| Lugar | Berlin, New York |
| Idioma | inglés |
| Páginas | 367 |
| ISBN-10 | 3540634754 |
| OCLC | 37437677 |
| LCCN | 97036126 |