Correct Hardware Design and Verification Methods: 12th IFIP WG 10.5 Advanced Research Working Conference, CHARME 2003, L'Aquila, Italy, October 21-24, ... Notes in Computer Science (2860), Band 2860)
von:
Daniel Geist · Enrico Tronci
Taschenbuch
Details (
Deutschland
)
ISBN-13: 978-3-540-20363-6
ISBN-10: 3-540-20363-X
Springer
· 2008
