Practical formal methods for hardware design
Edición de la obra Practical formal methods for hardware design
| Autor | Carlos Delgado Kloos, Werner Damm |
|---|---|
| Editorial | Springer |
| Fecha de publicación | 1997 |
| Lugar | Berlin, New York |
| Idioma | inglés |
| Páginas | 293 |
| ISBN-10 | 3540620079 |
| OCLC | 36883954 |
| LCCN | 97017153 |
| Serie | Research reports ESPRIT. · v. 1 |