Cover Image

Symbolic model checking /

Show other versions (1)
Bibliographic Details
Main Author: McMillan, Kenneth L.
Format: Book
Language:English
Published: Boston : Kluwer Academic, [1993]
Subjects:
Electronic digital computers > Circuits > Design > Data processing.
Symbolic circuit analysis > Data processing.
Logic design > Data processing.

Remote Storage

Holdings details from Remote Storage
Call Number: TK7888.4 .M43 1993
 
Call Number Status Get It
TK7888.4 .M43 1993 Available