Cover Image

Formal verification of circuits /

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

Remote Storage

Holdings details from Remote Storage
Call Number: TK7867 .D7 2000
 
Call Number Status Get It
TK7867 .D7 2000 Available