Benutzer-Werkzeuge

Webseiten-Werkzeuge


glossar:hoare-regel

Hoare-Regel

engl.: Hoare rule

Bedeutung

oops

glossar/hoare-regel.txt · Zuletzt geändert: 2017/09/26 10:20 (Externe Bearbeitung)

Seiten-Werkzeuge