FORMAL SPECIFICATION & VERIFICATION OF DIGITAL SYSTEMS
Gardado en:
Autor Principal: | MILNE GEORGE |
---|---|
Formato: | Libro |
Publicado: |
NEW YORK
MCGRAW HILL
1994
|
Tags: |
Engadir etiqueta
Sen Etiquetas, Sexa o primeiro en etiquetar este rexistro!
|
Títulos similares
-
DESIGN VERIFICATION WITH E
por: PALNIKAR, S
Publicado: (2004) -
DESIGN VERIFICATION WITH E
por: PALNIKAR, S
Publicado: (2004) -
Logic Synthesis And Verification Algorithms
por: Hachtel, G.D
Publicado: (2003) -
BIOMETRICS : IDENTIFICATION VERIFICATION IN A NETWORKED
por: NANAVATI, S
Publicado: (2005) -
FORMAL LANGUAGES & AUTOMATA
por: LINZ PETER
Publicado: (2009)