Manfred Broy Informatik. Eine grundlegende Einfuhrung

Annotation

Dieser dritte Teil der vierteiligen Einfuhrung in die Informatik behandelt verteilte informationsverarbeitende Systeme und systemnahe Programmierung. Nach den Grundbegriffen verteilter Systeme und den zugrundeliegenden mathematischen Modellen werden elementare Beschreibungstechniken fur Systeme, z.B. Petri-Netze und die Hoare'sche Notation fur kommunizierende, sequentielle Programme, vorgestellt sowie die Programmierung parallel ablaufender Programme. Weiter werden typische Aspekte der systemnahen Programmierung wie Aufbau und Wirkungsweise von Betriebssystemen besprochen sowie die syntaktischen und semantischen Aspekte der Implementierung von Programmiersprachen. Dabei werden fur eine einfache funktionale Sprache beispielhaft ein Ubersetzer und ein Interpretierer angegeben.