Correct hardware design and verification methods : 12th IFIP WG 10.5 advanced research working conference, CHARME 2005, Saarbrücken, Germany, October 3-6, 2005 : proceedings
Dominique Borrione, Wolfgang Paul (eds.)
Bok Engelsk 2005 CHARME 2005
| Utgitt | Berlin : Springer , c2005
|
|---|---|
| Omfang | XII, 412 s. : ill.
|
| Emner | |
| ISBN | 3540291059. - 9783540291053
|
