Zur Seitenansicht

Titelaufnahme

    Titel
    Eine Methode zur formalen Verifikation von RISC-Prozessen / Sofiène Tahar
    VerfasserTahar, Sofiène
    ErschienenDüsseldorf : VDI-Verl., 1995
    Ausgabe
    Als Ms. gedr.
    UmfangXII, 162 S. : graph. Darst.
    Serie
    Fortschritt-Berichte VDI : Reihe 10, Informatik, Kommunikationstechnik ; 350
    SchlagwörterRISC / Formale Spezifikationstechnik / Hardwareverifikation
    ISBN3-18-335010-6
    Links
    Nachweis
     hbz-Verbundkatalog
    Archiv METS (OAI-PMH)
    Download
    Inhalt
    Inhalt des Werkes