FORMAL SPECIFICATION & VERIFICATION OF DIGITAL SYSTEMS
Guardat en:
| Autor principal: | |
|---|---|
| Format: | Llibre |
| Publicat: |
NEW YORK
MCGRAW HILL
1994
|
| Etiquetes: |
Afegir etiqueta
Sense etiquetes, Sigues el primer a etiquetar aquest registre!
|
| Descripció física: | xi , 256 |
|---|