Formal methods in circuit desing
| Autor principal: | |
|---|---|
| Formato: | Libro |
| Lenguaje: | English |
| Publicado: |
New York
Cambridge University
1993
|
| Edición: | 1st ed. |
| Colección: | (Cambridge tracts in theoretical computer science
37) |
| Materias: |
| Descripción Física: | xiii, 193 p. il. 26 cm. |
|---|---|
| Bibliografía: | Bibliografía: p. 171-190 |
| ISBN: | 0-521-44336-9 |