Correct hardware design and verification methods

13th IFIP WG 10.5 advanced research working conference, CHARME 2005, Saarbrücken, Germany, October 3-6, 2005 : proceedings

Verfasser / Beitragende:
Dominique Borrione ... [et al.] (eds.)
Ort, Verlag, Jahr:
Berlin : Springer, 2005
Beschreibung:
412 p. : ill.
Format:
Buch (Kongress)
ID: 357709373