Benutzer-Werkzeuge

Webseiten-Werkzeuge


glossar:hoare-regel

Hoare-Regel

engl.: Hoare rule

Bedeutung

oops

glossar/hoare-regel.txt · Zuletzt geändert: 2016/09/22 10:14 (Externe Bearbeitung)