Hoare-Kalkül: Unterschied zwischen den Versionen
(Die Seite wurde neu angelegt: „==Quellen== *[http://verify.rwth-aachen.de/programmierungWS03/globalFolien/global3.pdf Einführung mit Beispielen]“) |
Tobib (Diskussion | Beiträge) Keine Bearbeitungszusammenfassung |
||
| (Eine dazwischenliegende Version von einem anderen Benutzer wird nicht angezeigt) | |||
| Zeile 1: | Zeile 1: | ||
==Quellen== | ==Quellen== | ||
*[http://verify.rwth-aachen.de/programmierungWS03/globalFolien/global3.pdf Einführung | *[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)] | |||
[[Category:Informatik]] | |||