Correct hardware design and verification methods :  IFIP WG10.2 advanced research working conference, CHARME '93, Arles, France, May 24-26, 1993 : proceedings / 
George J. Milne, Laurence Pierre (eds.). 
 - Berlin :  Springer,  1993. 
 - VI, 269 s. ;  24 cm. 
 - Lecture Notes in Computer Science ;  683 .
 - Lecture Notes in Computer Science  683 .
<br/><br/>
<br/><br/><label>ISBN: </label>354056778X 038756778X 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Układy scalone--ocena--konferencje.<br/>Układy scalone--projektowanie i konstrukcja--konferencje.