Treffer: Ansätze zur formalen Verifikation analoger Schaltungen

Titel:

Beteiligt:

Hedrich, Lars

Ausgabe:

Als Ms. gedr.

Veröffentlicht:

Düsseldorf : VDI-Verl., 1997

Umfang:

X, 128 S. : grap. Darst.

Format:

Buch

Sprache:

Deutsch

Schriftenreihe/Mehrbändiges Werk:

Verein Deutscher Ingenieure: Fortschritt-Berichte VDI : Reihe 20, Rechnerunterstützte Verfahren ; 257
alle Bände anzeigen

Hochschulschrift:

Zugl.: Hannover, Univ., Diss., 1997

RVK-Notation:

Schlagworte:

ISBN:

3183257203

Lokale Schlagworte:

Lokale Klassifikationen:

Zusatz-Informationen