ISBN 3540425411 books & textbook

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

Margaria, Tiziana Melham, Tom

Springer /2001-08-27 Paperback / 500 Pages
isbn-10: 3540425411 / isbn-13: 9783540425410