Benutzer-Werkzeuge

Webseiten-Werkzeuge


glossar:hoare-logik

Unterschiede

Hier werden die Unterschiede zwischen zwei Versionen gezeigt.

Link zu dieser Vergleichsansicht

glossar:hoare-logik [2014/09/24 16:43] (aktuell)
Zeile 1: Zeile 1:
 +====== Hoare-Logik ====== 
 +~~REDIRECT>​glossar:​hoare-triple~~
glossar/hoare-logik.txt · Zuletzt geändert: 2014/09/24 16:43 (Externe Bearbeitung)