Informatik. Eine grundlegende Einführung

Dr. rer. nat. Manfred Broy studierte Mathematik und Informatik 1971-76 an der Technischen Universität München. Dort 1976-80 wissenschaftlicher Mitarbeiter im Sonderforschungsbereich 49 'Programmiertechnik' der DFG. 1980 Promotion, ab 1980 wisschenschaftlicher Assistent und 1982 Habilitation in Informatik an der TU München. 1983 ordentlicher Professor für Informatik und Gründungsdekan an der Fakultät für Mathematik und Informatik der Universität Passau. Seit 1989 ordentlicher Professor für Informatik an der TU München. 1994 Leibniz-Preis der DFG.

1. Prozesse, Kommunikation und Koordination in verteilten Systemen.- 1.1 Prozesse.- 1.2 Systembeschreibungen durch Mengen von Prozessen.- 1.3 Programmiersprachen zur Beschreibung kommunizierender Systeme.- 2. Betriebssysteme und Systemprogrammierung.- 2.1 Grundlegende Betriebssystemaspekte.- 2.2 Benutzerrelevante Aspekte von Betriebssystemen.- 2.3 Betriebsmittelzuteilung.- 2.4 Implementierungstechniken der Systemprogrammierung.- 2.5 Betriebssystemstrukturen.- 3. Interpretation und Übersetzung von Programmen.- 3.1 Lexikalische Analyse von Programmiersprachen.- 3.2 Zerteilung von Programmen.- 3.3. Kontextbedingungen.- 3.4 Interpretation von Programmiersprachen.- 3.5 Allgemeine Bemerkungen zu Interpretern.- Literaturangaben.- Stichwortverzeichnis.