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.
Search Result 1
Cover Image
by McMillan, Kenneth L.
Published 1993
Connect to the full text of this electronic book
eBook
Show all versions (2)