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
|