Vista normal Vista MARC Vista ISBD

McMillan, Kenneth L.,

Symbolic model checking / by Kenneth L. McMillan - xv, 194 páginas

ISBN: 0-7923-9380-5

Subjects--Topical Terms:
Computadoras electronicas digitales--Circuitos--Diseño--Procesamiento de datos
Análisis simbólico de circuitos--Procesamiento de datos
Diseño lógico--Procesamiento de datos

LC Class. No.: TK7888.4 / M45