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: |