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
Edición de la obra Correct Hardware Design and Verification Methods
| Autor | Tiziana Margaria, Tom Melham |
|---|---|
| Editorial | Springer London, Limited |
| Fecha de publicación | 2003 |
| Idioma | inglés |
| ISBN-13 | 9783540447986 |
| Número de Cutter | M327c |