Formal specification and verification in VLSI design
Edición de la obra Formal specification and verification in VLSI design
| Autor | Bruce S. Davie |
|---|---|
| Editorial | Edinburgh University Press |
| Fecha de publicación | 1990 |
| Lugar | Edinburgh |
| Idioma | inglés |
| Páginas | 195 |
| ISBN-10 | 0748601597 |
| OCLC | 25631748 |
| LCCN | 91188267, gb90047577 |
| Serie | Edinburgh information technology series ; · 8 |
| Número de Cutter | D254f |