Correct Hardware Design and Verification Methods Hans Eveking
53,49 €
Titel: Correct Hardware Design and Verification Methods, Untertitel: IFIP WG10.5 Advanced Research Working Conference, CHARME '95, Frankfurt, Germany, October 1995. Proceedings, Einband: Taschenbuch, Autor: Hans Eveking, Verlag: Springer Berlin Heidelberg, Springer Berlin Heidelberg, Sprache: Englisch, Seiten: 356, Maße: 235x155x20 mm, Gewicht: 540 g, Verkäufer: buch-mimpf, Schlagworte: Datenverarbeitung / Rechneraufbau, Rechnerstrukturen Verifikation - verifizieren Formale Methoden Hardware Hardware Design Hardware Verfication Hardwareverifikation Semantics algorithms automata circuit design computer formal methods hardware description languages programming theorem proving verification.
Jetzt bei Ebay:
