Correct hardware design and verification methods : IFIP WG 10.5 advanced research working conference, CHARME '95, Frankfurt/Main, Germany, October 2-4, 1995 : proceedings
Paolo E. Camurati, Hans Eveking (eds.)
Bok Engelsk 1995 CHARME '95
| Utgitt | Berlin : Springer , c1995
|
|---|---|
| Omfang | VIII, 342 s. : ill.
|
| Emner | |
| ISBN | 3540603859
|
