Folie 1 Chair of Software Engineering Einführung in die Programmierung Prof. Dr. Bertrand Meyer Vorlesung 5: Invarianten und Logik Folie 2 2 Erinnerung: Verträge In Verbindung…