Correct Hardware Design and Verification Methods: 11th IFIP WG 10.5 Advanced Research Working Conference, CHARME 2001 Livingston, Scotland, UK, ... Notes in Computer Science, Band 2144)

Conference

von: Tom Melham · Tiziana Margaria

Taschenbuch

EAN=ISBN-13: 978-3-540-42541-0

ISBN-10: 3-540-42541-1

Springer · 2008