Correct Hardware Design and Verification Methods: IFIP WG 10.2 Advanced Research Working Conference, CHARME'93, Arles, France, May 24-26, 1993. ... Notes in Computer Science (683), Band 683)

Conference

von: Laurence Pierre · George J. Milne

Taschenbuch

ISBN: 978-3-540-56778-3

ISBN-10: 3-540-56778-X

Springer · 2008