Correct Hardware Design and Verification Methods: 10th IFIP WG10.5 Advanced Research Working Conference, CHARME'99, Bad Herrenalb, Germany, September ... Notes in Computer Science, Band 1703)
von:
Laurence Pierre
·
Thomas Kropf
Taschenbuch
Details (
Deutschland
)
ISBN: 978-3-540-66559-5
ISBN-10: 3-540-66559-5
Springer
· 2008
