Correct hardware design methodologies :  proceedings of the Advanced Research Workshop on Correct Hardware Design Methodologies, Turin, Italy, June 12-14, 1991 / 
edited by Paolo Prinetto, Paolo Camurati. 
 - ix, 470 pages :  illustrations ;  25 cm. 
<br/><br/> "Organized by ESPRIT Basic Research Action 3216 'CHARME' ... in cooperation with EEC CEC, Directorate General XIII [and] IFIP WG 10.2."  "Sponsored by Politecnico di Torino." 
<br/><br/>Includes bibliographical references and index. 
<br/><br/><label>ISBN: </label>0444893679 
<br/><br/><label>LCCN: </label>91046090  
<br/><br/><label>Subjects--Topical Terms: </label><br/>Integrated circuits--Very large scale integration<br/>Computer software--Verification--Congresses.<br/>Computer-aided design--Congresses.<br/>Integrated circuits--Design and construction--Data processing--Congresses
<br/><br/><label>LC Class. No.: </label>TK7874  / .A3353 1991 
<br/><br/><label>Dewey Class. No.: </label>621.395