FORMAL SPECIFICATION & VERIFICATION OF DIGITAL SYSTEMS
Na minha lista:
Autor principal: | MILNE GEORGE |
---|---|
Formato: | Livro |
Publicado em: |
NEW YORK
MCGRAW HILL
1994
|
Tags: |
Adicionar Tag
Sem tags, seja o primeiro a adicionar uma tag!
|
Registros relacionados
-
DESIGN VERIFICATION WITH E
por: PALNIKAR, S
Publicado em: (2004) -
DESIGN VERIFICATION WITH E
por: PALNIKAR, S
Publicado em: (2004) -
Logic Synthesis And Verification Algorithms
por: Hachtel, G.D
Publicado em: (2003) -
BIOMETRICS : IDENTIFICATION VERIFICATION IN A NETWORKED
por: NANAVATI, S
Publicado em: (2005) -
Analytical method validation & instrument performance verification
por: Chan,Chung
Publicado em: (2004)