Correct hardware desing and verification methods

11th IFIP WG 10.5 advanced research working conference, CHARME 2001, Livingston, Scotland, UK, September 4-7, 2001 : proceedings

Verfasser / Beitragende:
Tiziana Margaria ... [ et al.] (eds.)
Ort, Verlag, Jahr:
Berlin : Springer, 2001
Beschreibung:
482 p. : ill.
Format:
Buch (Kongress)
ID: 357609107