Formale Methoden und kleine Systeme: Lernen, leben und arbeiten in formalen Umgebungen

Dieses Buch von Dirk Siefkes zeigt wieder einmal mehr, dass die Beschaftigung mit den logischen und systematischen Grundlagen der Theoriebildung in der Informatik das Verstandnis vertiefen und gleichzeitig Freude machen kann. Siefkes Pladoyer fur eine kluge Verwendung kleiner Systeme wie auch fur eine Wende zur Phantasie belegen, dass auch eingefleischte Praktiker unter den Informatikern folgenreiche Anregungen von einem weitblickenden Theoretiker erwarten konnen. Die einzelnen Kapitel des Buches bilden jeweils selbstandige Einheiten, die je nach dem personlichen Interesse des Lesers in beliebige Reihenfolge gelesen werden konnen. Am Ende entsteht so ein Ganzes, das die Arbeit und das Lernen mit formalisierten Umgebungen in vielfacher Hinsicht transparent werden lasst.