Cover Image

Advanced formal verification /

Show other versions (1)
Bibliographic Details
Other Authors: Drechsler, Rolf
Format: Book
Language:English
Published: Boston : Kluwer Academic Publishers, [2004]
Subjects:
Electronic circuits > Testing.
Decision trees.

Remote Storage

Holdings details from Remote Storage
Call Number: TK7867 .A38 2004
 
Call Number Status Get It
TK7867 .A38 2004 Available