Miline, George J.
Formal specification and verification of digital systems - London : McGraw-Hill, 1994 - 240
DIGITAL INTEGRATED CIRCUITS--DESIGN AND CONSTRUCTION--DATA
INTEGRATED CIRCUITS
COMPUTER HARDWARE DESCRIPTION LANGUAGES
TK7874.65 / M55
Formal specification and verification of digital systems - London : McGraw-Hill, 1994 - 240
DIGITAL INTEGRATED CIRCUITS--DESIGN AND CONSTRUCTION--DATA
INTEGRATED CIRCUITS
COMPUTER HARDWARE DESCRIPTION LANGUAGES
TK7874.65 / M55