Introduction to Formal Hardware Verification
Edición de la obra Introduction to Formal Hardware Verification
| Autor | Thomas Kropf |
|---|---|
| Editorial | Springer |
| Fecha de publicación | November 23, 1999 |
| Idioma | inglés |
| Páginas | 299 |
| Formato | Hardcover |
| ISBN-13 | 9783540654452 |
| ISBN-10 | 3540654453 |
| LCCN | 99012500 |
| Número de Cutter | K93i |