Correct Hardware Design and Verification Methods Enrico Tronci
53,49 €
Titel: Correct Hardware Design and Verification Methods, Untertitel: 12th IFIP WG 10.5 Advanced Research Working Conference, CHARME 2003, L'Aquila, Italy, October 21-24, 2003, Proceedings, Einband: Taschenbuch, Autor: Enrico Tronci, Verlag: Springer Berlin Heidelberg, Springer Berlin Heidelberg, Sprache: Englisch, Seiten: 444, Maße: 235x155x24 mm, Gewicht: 668 g, Verkäufer: buch-mimpf, Schlagworte: Computer / PC-Hardware Automat Hardware augmented reality automata proving software verification theorem proving verification.
Jetzt bei Ebay:
