Informatik. Eine grundlegende Einführung

Dieser dritte Teil der vierteiligen Einführung in die Informatik behandelt verteilte informationsverarbeitende Systeme und systemnahe Programmierung. Nach den Grundbegriffen verteilter Systeme und den zugrundeliegenden mathematischen Modellen werden elementare Beschreibungstechniken für Systeme, z.B. Petri-Netze und die Hoare''sche Notation für kommunizierende, sequentielle Programme, vorgestellt ...