Correct Hardware Design and Verification Methods: IFIP WG10.5 Advanced Research Working Conference, CHARME '95, Frankfurt, Germany, October 1995. ... Notes in Computer Science (987), Band 987)
von:
Paolo Enrico Camurati ·
Hans Eveking
Taschenbuch
Details (
Deutschland
)
ISBN-13: 978-3-540-60385-6
ISBN-10: 3-540-60385-9
Springer
· 2008
