Eine Methode zur formalen Verifikation von RISC-Prozessoren / von Sofiène Tahar
Resource type: Ressourcentyp: BuchBookLanguage: German Series: Verein Deutscher Ingenieure. Fortschritt-Berichte VDI. (Reihe 10)Informatik, Kommunikation ; 350Publisher: Düsseldorf : VDI-Verl., 1995Edition: Als Ms. gedrDescription: XIV, 162 S. : graph. DarstISBN:- 3183350106
- Parallelsacht.: Formale RISC-Verifikation
- Formale RISC-Verifikation
- 2
Item type | Home library | Collection | Shelving location | Call number | Status | Date due | Barcode | Item holds | |
---|---|---|---|---|---|---|---|---|---|
Magazinbestand ausleihbar | Bibliothek Campus Süd | Geschlossenes Magazin | 95 A 2318 | Available | 44321882090 | ||||
Freihandbestand ausleihbar | Fachbibliothek Informatik | B.Tah | Bibliothek / frei aufgestellt | B.Tah(19964) | Available | 000308443090 |
Total holds: 0
Archivierung prüfen 20240511 DE-640 2 pdager