Correct Hardware Design and Verification Methods Thomas Kropf
85,59 €
Titel: Correct Hardware Design and Verification Methods, Untertitel: 10th IFIP WG10.5 Advanced Research Working Conference, CHARME'99, Bad Herrenalb, Germany, September 27-29, 1999, Proceedings, Einband: Taschenbuch, Autor: Thomas Kropf, Verlag: Springer Berlin Heidelberg, Springer Berlin Heidelberg, Sprache: Englisch, Seiten: 388, Maße: 235x155x21 mm, Gewicht: 587 g, Verkäufer: buch-mimpf, Schlagworte: Computer / PC-Hardware EDV / Theorie / Software-Entw. / Software Engineering Komplex - Komplexität Hardware Model Simulation complexity formal method microprocessor model checking theorem proving verification.
Jetzt bei Ebay:
