TY  - BOOK
AU  - Milne, George J.
TI  - Formal specification and verification of digital systems
SN  - 007707811x
AV  - TK7874.65 M55
PY  - 1994///
CY  - London
PB  - McGraw-Hill
KW  - Circuitos integrados digitales
KW  - Diseño y construcción
KW  - Procesamiento de datos
KW  - Circuitos integrados
KW  - Verificación
KW  - Lenguaje de descripcion del hardware
ER  -