Correct Hardware Design and Verification Methods: 13th IFIP WG 10.5Advanced Research, Working Conference, CHARME 2005, Saarbr??cken, Germany, October ... Notes in Computer Science (3725), Band 3725)

Conference

von: Dominique Borrione · Wolfgang Paul

Taschenbuch

ISBN: 978-3-540-29105-3

ISBN-10: 3-540-29105-9

Springer · 2008