Correct hardware design and verification methods : 11th IFIP WG 10.5 advanced research working conference, CHARME 2001, Livingston, Scotland, UK, September 4-7, 2001 : proceedings
Tiziana Margaria, Tom Melham (eds.)
Bok Engelsk 2001 CHARME 2001
| Utgitt | Berlin : Springer , c2001
|
|---|---|
| Omfang | XII, 482 s. : ill.
|
| Emner | |
| Dewey | |
| ISBN | 3540425411
|
