Eine Methode zur formalen Verifikation von RISC-Prozessoren / von Sofiène Tahar
Resource type: Ressourcentyp: BuchBuchSprache: Deutsch Verlag: 1994Beschreibung: XII, 166 S. : graph. DarstSchlagwörter: Genre/Form: RVK: RVK: ST 170Hochschulschriftenvermerk: Karlsruhe, Univ., Diss., 1994 Call number: Grundsignatur: 95 DA 18PPN: PPN: 1113359285Medientyp | Heimatbibliothek | Standort | Signatur | Exemplarnummer | Status | Fälligkeitsdatum | Barcode | Vormerkungen | |
---|---|---|---|---|---|---|---|---|---|
Magazinbestand ausleihbar | Bibliothek Campus Süd | Geschlossenes Magazin | 95 DA 18 | ;b | Verfügbar | 40309862 | |||
Magazinbestand ausleihbar | Bibliothek Campus Süd | Geschlossenes Magazin | 95 DA 18 | ;c | Verfügbar | 40305542 |
Anzahl Vormerkungen: 0