Correct hardware design and verification methods
12th IFIP WG 10.5 advanced research working conference, CHARME 2003, L'Aquila, Italy, October 21-24, 2003 : proceedings
Gespeichert in:
Verfasser / Beitragende:
Daniel Geist ... [ et al.] (eds.)
Ort, Verlag, Jahr:
Berlin :
Springer,
2003
Beschreibung:
426 p. : ill.
Format:
Buch (Kongress)