Cover is for reference only

Formal specification and verification of digital systems

Saved in:
Bibliographic Details
Main Authors: Milne George J 1952-
Published: McGraw-Hill,
Publisher Address: London
Publication Dates: c1994.
Literature type: Book
Language: English
Subjects:
Digital integrated circuits > Design and construction > Data processing
Integrated circuits > Verification
Hardware description languages
Carrier Form: xiv, 240 p.: ill. ; 24 cm.
ISBN: 007707811X
Index Number: TN431
CLC: TN431.2
Call Number: TN431.2/M659/
Contents: Includes bibliographical references (p. 232-235) and index.

Related Book Recommendations