03871832053540183205
Berlin u.a.: Springer
VIII, 327 S graph. Darst.
Literaturverz. S. [205] - 215 ; Zugl.: Aachen, Techn. Hochsch., Habil.-Schr. : 1986
Computer architecture; Microprogramming; Computerarchitektur; Mikroprogrammierung; Entwurf; Programmverifikation; Architektur Informatik Oberbegriff allgemein; Verifikation Oberbegriff allgemein; Hoare-Logik Verwandter Begriff; Plan Oberbegriff generisch; Produktentwicklung Oberbegriff generisch; Konstruktion Relation allgemein; Konstruieren Relation allgemein; Programmierung Oberbegriff allgemeinComputerarchitekturMikroprogrammierungEntwurfProgrammverifikationProgrammierungArchitekturVerifikationHoare-LogikPlanProduktentwicklungKonstruktionKonstruieren
Informatik-Fachberichte
Informatik-Fachberichte ; 146
inf 110
Deutsch