Media type: Book; Thesis Title: Eine Methode zur formalen Verifikation von RISC-Prozessoren Contributor: Tahar, Sofiène [Author] imprint: 1994 Extent: XII, 166 S.; graph. Darst Language: German RVK notation: ST 170 : Prozessoren, Mikroprogrammierung, Firmware (RISC-Prozesssoren), Transputer Keywords: RISC > Formale Spezifikationstechnik > Hardwareverifikation Origination: University thesis: Karlsruhe, Univ., Diss., 1994 Footnote: Auch als: Verein Deutscher Ingenieure: Fortschrittberichte VDI / 10, Informatik, Kommunikationstechnik ; 350
Departmental Library DrePunct – stack Shelf-mark: 95 8 64369 001 Item ID: 10013440 Status: Loanable, place order > Ordering possible ‒ please log in Delivery expected: 1 - 2 days after order