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)
by Tom Melham, Tiziana Margaria
ISBN 13: 9783540425410
Format: Paperback (500 pages) Publisher: Springer Published: 13 Jun 2008
Save for later