FORMAL SPECIFICATION & VERIFICATION OF DIGITAL SYSTEMS
Збережено в:
Автор: | MILNE GEORGE |
---|---|
Формат: | Книга |
Опубліковано: |
NEW YORK
MCGRAW HILL
1994
|
Теги: |
Додати тег
Немає тегів, Будьте першим, хто поставить тег для цього запису!
|
Схожі ресурси
Схожі ресурси
-
DESIGN VERIFICATION WITH E
за авторством: PALNIKAR, S
Опубліковано: (2004) -
DESIGN VERIFICATION WITH E
за авторством: PALNIKAR, S
Опубліковано: (2004) -
Logic Synthesis And Verification Algorithms
за авторством: Hachtel, G.D
Опубліковано: (2003) -
BIOMETRICS : IDENTIFICATION VERIFICATION IN A NETWORKED
за авторством: NANAVATI, S
Опубліковано: (2005) -
FORMAL LANGUAGES & AUTOMATA
за авторством: LINZ PETER
Опубліковано: (2009)