Symbolic model checking

by Kenneth L. McMillan ; [foreword by Edmund Clarke]
Bok · Engelsk · 1993

Utgitt	Boston : Kluwer , c1993
Omfang	xv, 194 s. : ill.
Emner	Electronic digital computers - Circuits Design Data processing Logic design - Data processing Symbolic circuit analysis - Data processing Integrerte kretser - Prøving
ISBN	0792393805