Bearbeiten von „Hoare-Kalkül“
Die Bearbeitung kann rückgängig gemacht werden. Bitte prüfe den Vergleich unten, um sicherzustellen, dass du dies tun möchtest, und veröffentliche dann unten deine Änderungen, um die Bearbeitung rückgängig zu machen.
Aktuelle Version | Dein Text | ||
Zeile 2: | Zeile 2: | ||
*[http://osg.informatik.tu-chemnitz.de/lehre/old/ss08/ds/10-verification-a4.pdf Einführung mit Beispielen] | *[http://osg.informatik.tu-chemnitz.de/lehre/old/ss08/ds/10-verification-a4.pdf Einführung mit Beispielen] | ||
*[http://verify.rwth-aachen.de/programmierungWS03/globalFolien/global3.pdf weitere Einführung (RWTH Aachen)] | *[http://verify.rwth-aachen.de/programmierungWS03/globalFolien/global3.pdf weitere Einführung (RWTH Aachen)] | ||