TY  - BOOK
AU  - Milne,George J.
AU  - Pierre,Laurence
ED  - CHARME '93
TI  - Correct hardware design and verification methods: IFIP WG10.2 advanced research working conference, CHARME '93, Arles, France, May 24-26, 1993 : proceedings 
T2  - Lecture Notes in Computer Science
SN  - 354056778X
PY  - 1993///
CY  - Berlin
PB  - Springer
KW  - Układy scalone
KW  - ocena
KW  - konferencje
KW  - kaba
KW  - projektowanie i konstrukcja
N1  - Dostępne również w formie elektronicznej
UR  - https://www.infona.pl/resource/isbn/9783540567783
ER  -