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: |
Sistema de Bibliotecas UNAH
| Número de Clasificación: |
621.395-S79 |
|---|---|
| Copia | Disponible |