Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen 3. ITG/GI/GMM-Workshop der Fachgruppen 3 und 4 der Kooperationsgemeinschaft Rechnergestützter Schaltungs- und Systementwurf, Frankfurt am Main, 28./29. Februar und 1. März 2000
Gespeichert in:
Körperschaften: | , |
---|---|
Weitere Verfasser: | , |
Format: | UnknownFormat |
Sprache: | ger |
Veröffentlicht: |
Berlin u.a.
VDE-Verl.
2000
|
Schriftenreihe: | Forschungs-Report
|
Schlagworte: | |
Online Zugang: | Inhaltsverzeichnis |
Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
Beschreibung: | 297 S |
---|---|
ISBN: | 380072524X 3-8007-2524-X |