Formal Hardware Verification
Methods and Systems in Comparison (Lecture Notes in Computer Science)
Edición de la obra Formal Hardware Verification
| Autor | Thomas Kropf |
|---|---|
| Editorial | Springer |
| Fecha de publicación | August 27, 1997 |
| Idioma | inglés |
| Páginas | 367 |
| Formato | Paperback |
| ISBN-13 | 9783540634751 |
| ISBN-10 | 3540634754 |
| Número de Cutter | K93f |