Media type: Book Title: Ansätze zur formalen Verifikation analoger Schaltungen Contributor: Hedrich, Lars [Author] imprint: Düsseldorf: VDI-Verl., 1997 Published in: Verein Deutscher Ingenieure: Fortschritt-Berichte VDI / 20 ; 25700 Issue: Als Ms. gedr. Extent: X, 128 S.; Ill., graph. Darst Language: German ISBN: 3183257203 RVK notation: ZN 5530 : Analogschaltungen allgemein Keywords: Analogschaltung > Entwurfsautomation > Formale Spezifikationstechnik > Hardwareverifikation Origination: University thesis: Zugl.: Hannover, Univ., Diss., 1997 Footnote: Literaturverz. S. 121 - 128
Departmental Library DrePunct – stack Shelf-mark: R2017 8 2668 Item ID: 10362723 Status: Loanable, place order > Ordering possible ‒ please log in