Benutzer-Werkzeuge

Webseiten-Werkzeuge


glossar:hoare-regel

Hoare-Regel

engl.: Hoare rule

Bedeutung

oops

glossar/hoare-regel.txt · Zuletzt geändert: 2014/09/24 16:43 (Externe Bearbeitung)