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

Verfasser / Beitragende:
Daniel Geist ... [ et al.] (eds.)
Ort, Verlag, Jahr:
Berlin : Springer, 2003
Beschreibung:
426 p. : ill.
Format:
Buch (Kongress)
ID: 35760895X