Correct hardware design and verification methods
: 12th IFIP WG 10.5 advanced research working conference ; proceedings / CHARME 2003, L'Aquila, Italy, October 21 - 24, 2003. Daniel Geist ... (ed.). - Berlin : Springer, 2003. - Online-Ressource - (Lecture notes in computer science; 2860)
ISBN 978-3-540-39724-3
Lizenzpflichtig
Quelle: DNB
Correct hardware design and verification methods
: 12th IFIP WG 10.5 advanced research working conference ; proceedings / CHARME 2003, L'Aquila, Italy, October 21 - 24, 2003. Daniel Geist ; Enrico Tronci (ed.). - Berlin : Springer, 2003. - XII, 426 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 2860)
ISBN 978-3-540-20363-6 / 3-540-20363-X kart. : EUR 77.04, sfr 119.50
Literaturangaben
Quelle: DNB
