Result: Ansätze zur formalen Verifikation analoger Schaltungen

*Title*:

*Author/editor-in-chief*:

Hedrich, Lars

*Edition*:

Als Ms. gedr.

*Publication*:

Düsseldorf : VDI-Verl., 1997

*Physical description scale*:

X, 128 S. : grap. Darst.

*Format*:

*book*

*Language*:

*ger*

*series_multipart*:

Verein Deutscher Ingenieure: Fortschritt-Berichte VDI : Reihe 20, Rechnerunterstützte Verfahren ; 257
*show_all_volumes*

*Dissertation note*:

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

*RVK-Notation*:

*Subject Added Keywords*:

*ISBN*:

3183257203

*L1_Keywords*:

*L1_Classifications*:

*Result*: Ansätze zur formalen Verifikation analoger Schaltungen