Milne, George J.  1952-, <br/><br/>
Formal specification and verification of digital systems / 
George milne 
 - 240 páginas 
<br/><br/><label>ISBN: </label>007707811x 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Circuitos integrados digitales--Diseño y construcción--Procesamiento de datos<br/>Circuitos integrados--Verificación<br/>Lenguaje de descripcion del hardware
<br/><br/><label>LC Class. No.: </label>TK7874.65  / M55