Ein allgemeines formales Modell für Betriebssysteme und dessen Implementierung
By: Sawwas Keramidis.
Series: Arbeitsberichte des Instituts für Mathematische Maschinen und Datenverarbeitung ; Bd. 10, Nr. 13
Publisher: Inst. für Math. Maschinen u. Datenverarbeitung
Published: 1977
Place of publication: Erlangen
Language: ger
Number of pages: 146
Subjects: Operating systems (Computers)
Notes: Thesis--Universität Erlangen-Nürnberg, Erlangen.
Bibliography: p. 134-146.