Correct Hardware Design and Verification Methods Laurence Pierre
74,89 €
Titel: Correct Hardware Design and Verification Methods, Untertitel: IFIP WG 10.2 Advanced Research Working Conference, CHARME'93, Arles, France, May 24-26, 1993. Proceedings, Einband: Taschenbuch, Autor: Laurence Pierre, Verlag: Springer Berlin Heidelberg, Sprache: Englisch, Seiten: 284, Maße: 235x155x16 mm, Gewicht: 435 g, Verkäufer: buch-mimpf, Schlagworte: Datenverarbeitung / Rechneraufbau, Rechnerstrukturen Verifikation - verifizieren circuit design Circuit Verification Correct Hardware Verification DOM formal methods Formale Methoden Korrekte Hardware-Verifikation Korrekter Hardware-Entwurf Schaltkreisverifikation VLSI formal verification.
Jetzt bei Ebay:
