Trace theory for automatic hierarchical verification of speed-independent circuits /
Na minha lista:
| Autor principal: | |
|---|---|
| Formato: | Livro |
| Idioma: | English |
| Publicado em: |
Cambridge, Mass. :
MIT Press,
c1989.
|
| coleção: | ACM distinguished dissertations
|
| Assuntos: |
CARM 1 Store
| Área/Cota: |
A2:AJ21E0 C04632 |
|---|---|
| Cópia 1 | Disponível Localização |