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
Daniel Geist, Enrico Tronci (eds.)
Bok Engelsk 2003 CHARME 2003
Utgitt | Berlin : Springer , c2003
|
---|---|
Omfang | XII, 426 s. : ill.
|
Emner | |
Dewey | |
ISBN | 354020363X
|