zum Inhalt springen
SE 1 - WS 2016/17
Benutzer-Werkzeuge
Anmelden
Webseiten-Werkzeuge
Suche
Werkzeuge
Ältere Versionen
Links hierher
Medien-Manager
Übersicht
Anmelden
>
Medien-Manager
Übersicht
Zuletzt angesehen:
•
Annotationsbeweis
glossar:annotationsbeweis
Annotationsbeweis
engl.:
proof outline
Bedeutung
Annotiere das Programm so mit Zusicherungen, dass:
vor und hinter jeder Anweisung mindestens eine Zusicherung steht und
die Hoare-Regeln erfüllt sind.
glossar/annotationsbeweis.txt
· Zuletzt geändert: 2016/09/22 10:14 (Externe Bearbeitung)
Seiten-Werkzeuge
Ältere Versionen
Links hierher
Nach oben