Eine Methode zur formalen Verifikation von RISC-Prozessoren / von Sofiène Tahar
Resource type: Ressourcentyp: BuchBookLanguage: German Publisher: 1994Description: XII, 166 S. : graph. DarstSubject(s): Genre/Form: RVK: RVK: ST 170Dissertation note: Karlsruhe, Univ., Diss., 1994 Call number: Grundsignatur: 95 DA 18PPN: PPN: 1113359285Item type | Home library | Shelving location | Call number | Copy number | Status | Date due | Barcode | Item holds | |
---|---|---|---|---|---|---|---|---|---|
Magazinbestand ausleihbar | Bibliothek Campus Süd | Geschlossenes Magazin | 95 DA 18 | ;b | Available | 40309862 | |||
Magazinbestand ausleihbar | Bibliothek Campus Süd | Geschlossenes Magazin | 95 DA 18 | ;c | Available | 40305542 |
Total holds: 0