
Formal Methods for Vlsi Design
Ifip W G10.5 Lecture Notes
Edición de la obra Formal Methods for Vlsi Design
| Autor | J. Staunstrup |
|---|---|
| Editorial | North-Holland |
| Fecha de publicación | December 1990 |
| Idioma | inglés |
| Páginas | 330 |
| ISBN-13 | 9780444888587 |
| ISBN-10 | 0444888586 |
| Número de Cutter | S798f |