> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Medientyp: Buch; Hochschulschrift Titel: Eine Methode zur formalen Verifikation von RISC-Prozessoren Beteiligte: Tahar, Sofiène [VerfasserIn] Erschienen: 1994 Umfang: XII, 166 S.; graph. Darst Sprache: Deutsch RVK-Notation: ST 170 : Prozessoren, Mikroprogrammierung, Firmware (RISC-Prozesssoren), Transputer Schlagwörter: RISC > Formale Spezifikationstechnik > Hardwareverifikation Entstehung: Hochschulschrift: Karlsruhe, Univ., Diss., 1994 Anmerkungen: Auch als: Verein Deutscher Ingenieure: Fortschrittberichte VDI / 10, Informatik, Kommunikationstechnik ; 350
Bereichsbibliothek DrePunct – Magazin Signatur: 95 8 64369 001 Barcode: 10013440 Status: Ausleihbar, bitte bestellen > Bestellen möglich - bitte anmelden