Programming and Mathematical Method D 79111 Freiburg Dieser semantische Kurzschluß einer 'Bildung 9783642424038 Dieser semantische Kurzschluß einer 'Bildung durch Bildung' verträgt sich insbesondere mit den historischen Einsichten seiner Urheber schlecht WE m semigroups The Summer School in Marktoberdorf 1990 had as its overall theme the development of programs as an activity that can be carried out based on and supported by a mathematical method Looking at these examples it becomes clear that proper research and teaching in the area of program methodology should always show its value by being applied at least to small examples or case studies