zum Inhalt springen
SE 1 - WS 2017/18
Benutzer-Werkzeuge
Anmelden
Webseiten-Werkzeuge
Suche
Werkzeuge
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: 2017/09/26 10:20 (Externe Bearbeitung)
Seiten-Werkzeuge
Links hierher
Nach oben