Miline, George J. Formal specification and verification of digital systems - London : McGraw-Hill, 1994 - 240 Subjects--Topical Terms: DIGITAL INTEGRATED CIRCUITS--DESIGN AND CONSTRUCTION--DATAINTEGRATED CIRCUITSCOMPUTER HARDWARE DESCRIPTION LANGUAGES LC Class. No.: TK7874.65 / M55