Eintrag weiter verarbeiten
Correct hardware design and verification methods: proceedings
Gespeichert in:
Personen und Körperschaften: | , |
---|---|
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 |
Online
InhaltsverzeichnisKapitel 1
Cover
Zentralblatt MATH, Inhaltstext, Verlag
Universitätsbibliothek
Verfügbar |
Regalstandort:
SS 4800 1703
Literaturabteilung:
Freihand nicht ausleihbar
Anmerkungen:
|