Formal verification of circuits /

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

by Drechsler, Rolf
Published 2000

Connect to the full text of this electronic book

eBook