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
Gespeichert in:
Verfasser / Beitragende:
Dominique Borrione ... [et al.] (eds.)
Ort, Verlag, Jahr:
Berlin :
Springer,
2005
Beschreibung:
412 p. : ill.
Format:
Buch (Kongress)