Applied formal verification

Douglas L. Perry, Harry D. Foster
Bok · Engelsk · 2005

Utgitt	New York : McGraw-Hill , c2005
Omfang	XIV, 237 s. : ill.
Emner	Electronic circuits - Testing Integrated circuits - Verification Integrerte kretser - Prøving
ISBN	007144372X