Milne, George J. 1952-,

Formal specification and verification of digital systems / George milne - 240 páginas

007707811x


Circuitos integrados digitales--Diseño y construcción--Procesamiento de datos
Circuitos integrados--Verificación
Lenguaje de descripcion del hardware

TK7874.65 / M55