TY  - BOOK
AU  - Miline,George J.
TI  - Formal specification and verification of digital systems
AV  - TK7874.65 M55
PY  - 1994///
CY  - London
PB  - McGraw-Hill
KW  - DIGITAL INTEGRATED CIRCUITS
KW  - DESIGN AND CONSTRUCTION
KW  - DATA
KW  - INTEGRATED CIRCUITS
KW  - COMPUTER HARDWARE DESCRIPTION LANGUAGES
ER  -