00816nam a2200193 a 450000500170000000800410001702000180005803500150007604100070009105000220009811100870012024502060020726000370041330000110045044000490046165000560051070000280056670000280059420260818085233.0                                          a3 540 56778 X  a.b101730670 aEn  aTK7885.7 I36 1993  aIFIP WG 10.2 Advanced Research Working Conference CHARME'93 (1993 : Arles, France) 0aCorrect hardware design and verification methods : IFIP WG10.2 Advanced Research Working Conference CHARME'93, Arles, France, May 24-26, 1993 : proceedings /bGeorge J. Milne and Laurence Pierre (Eds.)  aBerlin :bSpringer-Verlag,c1993  a269 p. 0aLecture notes in computer science ;vno. 683 0aComputer hardware description languagesxCongresses  aMilne, George J.c, ed.  aPierre, Laurencec, ed.