Custom cover image
Custom cover image

Eine Methode zur formalen Verifikation von RISC-Prozessoren / von Sofiène Tahar

By: 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
Other title:
  • Parallelsacht.: Formale RISC-Verifikation
  • Formale RISC-Verifikation
Subject(s): Genre/Form: RVK: RVK: ST 170Action note:
  • 2
Dissertation note: Zugl.: Karlsruhe, Univ., Diss., 1994 Call number: Grundsignatur: 95 A 2318PPN: PPN: 186212534
Holdings
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

Powered by Koha