Correct Hardware Design and Verification Methods Tom Melham
53,49 €
Titel: Correct Hardware Design and Verification Methods, Untertitel: 11th IFIP WG 10.5 Advanced Research Working Conference, CHARME 2001 Livingston, Scotland, UK, September 4-7, 2001 Proceedings, Einband: Taschenbuch, Autor: Tom Melham, Verlag: Springer Berlin Heidelberg, Springer Berlin Heidelberg, Sprache: Englisch, Seiten: 496, Maße: 235x155x27 mm, Gewicht: 744 g, Verkäufer: buch-mimpf, Schlagworte: Computer / PC-Hardware Clocking Design Hardware Model algorithm algorithms model checking proving theorem proving verification.
Jetzt bei Ebay:
