Correct hardware design and verification methods :  10th IFIP WG 10.5, advanced research working conference, CHARME'99, Bad Herrenalb, Germany, September, 1999 : proceedings / 
Laurence Pierre, Thomas Kropf, (eds.) 
 - 364 páginas 
 - Lecture notes in computer science,  v. 1703 .
 - Lecture notes in computer science  .
<br/><br/><label>ISBN: </label>3540665595 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Circuitos integrados--Diseño y construcción--Procesamiento de datos--Congresos<br/>Diseño asistido por computadora--Congresos
<br/><br/><label>LC Class. No.: </label>TK7874  / C3623 1999