Eintrag weiter verarbeiten
Buchumschlag von Correct hardware design and verification methods: proceedings
Verfügbar über lokaler Bestand

Correct hardware design and verification methods: proceedings

Gespeichert in:

Personen und Körperschaften: Pierre, Laurence (HerausgeberIn), CHARME 10 1999 Bad Herrenalb (Sonstige)
Titel: Correct hardware design and verification methods: proceedings/ 10th IFIP WG 10.5 advanced research working conference ; CHARME '99, Bad Herrenalb, Germany, September 27 - 29, 1999. Laurence Pierre ... (eds.)
Medientyp: Buch Konferenzbericht
Sprache: Englisch
veröffentlicht:
Berlin, Heidelberg Springer 1999
Gesamtaufnahme: Lecture notes in computer science ; 1703
Schlagwörter:
Online-Ausg.: Pierre, Laurence, Correct Hardware Design and Verification Methods, Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 1999, Online-Ressource
Quelle: Verbunddaten SWB