Correct hardware design and verification methods : 13th IFIP WG 10.5 advanced research working conference, CHARME 2005, Saarbrucken, Germany, October 3-6, 2005 : proceedings / Dominique Borrione, Wolfgang Paul (eds.)

Författare
Germany) (2005 CHARME 2005 Saarbrucken
Språk
Okänt
Förlag År Ort Om boken ISBN
Springer uuuu-uuuu Utgivningsland okänt / Ej specificerat