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 and Laurence Pierre (Eds.)
IFIP WG 10.2 Advanced Research Working Conference CHARME'93 (1993 : Arles, France)
creator
Milne, George J.
, ed
Pierre, Laurence
, ed
text
Berlin
Springer-Verlag
1993
monographic
En
269 p.
Computer hardware description languages
Congresses
TK7885.7 I36 1993
Lecture notes in computer science ; no. 683
3 540 56778 X
20260818085233.0