Hoare-Kalkül: Unterschied zwischen den Versionen
Keine Bearbeitungszusammenfassung |
Tobib (Diskussion | Beiträge) Keine Bearbeitungszusammenfassung |
||
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)] | ||
[[Category:Informatik]] |