Zur Seitenansicht
 

Titelaufnahme

Titel
Eine Methode zur formalen Verifikation von RISC-Prozessen / Sofiène Tahar
VerfasserTahar, Sofiène In der Gemeinsamen Normdatei der DNB nachschlagen In Wikipedia suchen nach Sofiène Tahar
ErschienenDüsseldorf : VDI-Verl., 1995
Ausgabe
Als Ms. gedr.
UmfangXII, 162 S. : graph. Darst.
SerieFortschritt-Berichte VDI : Reihe 10, Informatik, Kommunikationstechnik ; 350
SchlagwörterRISC In Wikipedia suchen nach RISC / Formale Spezifikationstechnik In Wikipedia suchen nach Formale Spezifikationstechnik / Hardwareverifikation In Wikipedia suchen nach Hardwareverifikation
ISBN3-18-335010-6
Links
Download Eine Methode zur formalen Verifikation von RISC-Prozessen [0,70 mb]
Nachweis
hbz-Verbundkatalog
Verfügbarkeit In meiner Bibliothek
Archiv METS (OAI-PMH)