Correct hardware design and verification methods : 10th IFIP WG10.5 advanced research working conference, CHARME'99, Bad Herrenalb, Germany, September 27-29, 1999 : proceedings
Laurence Pierre, Thomas Kropf (eds.)
Bok Engelsk 1999 CHARME '99
| Utgitt | Berlin : Springer , c1999
|
|---|---|
| Omfang | XI, 366 s. : ill.
|
| Emner | |
| Dewey | |
| ISBN | 3540665595
|
