Benutzer-Werkzeuge

Webseiten-Werkzeuge


glossar:hoare-regel

Hoare-Regel

engl.: Hoare rule

Bedeutung

oops

glossar/hoare-regel.txt · Zuletzt geändert: 2015/10/05 16:55 (Externe Bearbeitung)