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:
Bibliographische Detailangaben
Körperschaften: Fachgruppe Methoden des Entwurfs und der Verifikation Digitaler Schaltungen und Systeme (BerichterstatterIn), Fachgruppe Beschreibungssprachen und Modellierung von Schaltungen und Systemen (BerichterstatterIn)
Weitere Verfasser: Waldschmidt, Klaus (BerichterstatterIn), Grimm, Christoph (BerichterstatterIn)
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
Beschreibung:297 S
ISBN:380072524X
3-8007-2524-X