zum Inhalt
Schnellsuche:
Detailsuche
|
Home
|
Sammlung
|
Impressum
|
Titel
Inhalt
Übersicht
Seite
Im Dokument suchen
Titelaufnahme
Titel
Ansätze zur formalen Verifikation analoger Schaltungen / Lars Hedrich
Verfasser
Hedrich, Lars
Erschienen
Düsseldorf : VDI-Verl.,
1997
Ausgabe
Als Ms. gedr.
Umfang
X, 128 S. : graph. Darst.
Serie
Fortschritt-Berichte VDI : Reihe 20, Rechnerunterstützte Verfahren ; 257
Schlagwörter
Analogschaltung
/
Entwurfsautomation
/
Formale Spezifikationstechnik
/
Hardwareverifikation
ISBN
3-18-325720-3
Links
Download
Ansätze zur formalen Verifikation analoger Schaltungen [0,46 mb]
Nachweis
hbz-Verbundkatalog
Verfügbarkeit
In meiner Bibliothek
Archiv
METS (OAI-PMH)
Inhalt
Inhalt des Werkes