Zur Seitenansicht

Titelaufnahme

    Titel
    Ansätze zur formalen Verifikation analoger Schaltungen / Lars Hedrich
    VerfasserHedrich, Lars
    ErschienenDüsseldorf : VDI-Verl., 1997
    Ausgabe
    Als Ms. gedr.
    UmfangX, 128 S. : graph. Darst.
    Serie
    Fortschritt-Berichte VDI : Reihe 20, Rechnerunterstützte Verfahren ; 257
    SchlagwörterAnalogschaltung / Entwurfsautomation / Formale Spezifikationstechnik / Hardwareverifikation
    ISBN3-18-325720-3
    Links
    Nachweis
     hbz-Verbundkatalog
    Archiv METS (OAI-PMH)
    Download
    Inhalt
    Inhalt des Werkes