Formal verification of circuits

Rolf Drechsler
Bok · Engelsk · 2000

Utgitt	Boston : Kluwer Academic , c2000
Omfang	X, 179 s. : ill.
Emner	Decision trees Electronic circuits - Testing Elektroniske kretser - Testing
ISBN	079237858X