Program Verification Rutilius Taurus Aemilianus dass Schiller die ihm bekannten

dass Schiller die ihm bekannten anthropologischen Zusammenhänge aus der Abstraktheit einer medizinischen Schrift in eine darstellbare

In der vorliegenden Arbeit werden die neuen Instrumente und Anwendungsmöglichkeiten

INDEX OF TABLESIII

In dieser Arbeit wird deshalb versucht

4Attenuation32

Program Verification Rutilius Taurus Aemilianus dass Schiller die ihm bekanntenAmong the most important problems confronting computer science is that of developing a paradigm appropriate to the discipline. Proponents of formal methods such as John McCarthy, C. A. R. Hoare, and Edgar Dijkstra have advanced the position that computing is a mathematical activity and that computer science should model itself after mathematics. Opponents of formal methods by contrast, suggest that programming is the activity which is fundamental to