E-Book, Englisch, Band 2144, 488 Seiten
Margaria / Melham Correct Hardware Design and Verification Methods
Erscheinungsjahr 2003
ISBN: 978-3-540-44798-6
Verlag: Springer Berlin Heidelberg
Format: PDF
Kopierschutz: 1 - PDF Watermark
11th IFIP WG 10.5 Advanced Research Working Conference, CHARME 2001 Livingston, Scotland, UK, September 4-7, 2001 Proceedings
E-Book, Englisch, Band 2144, 488 Seiten
Reihe: Lecture Notes in Computer Science
ISBN: 978-3-540-44798-6
Verlag: Springer Berlin Heidelberg
Format: PDF
Kopierschutz: 1 - PDF Watermark




