Programmierung: Verifikation, Hoare-Kalkül (Di, 03.11.2015)

Anmeldung erforderlich

RWTH

Für RWTH-Angehörige und aus dem RWTH-Netz verfügbar

Anmelden
  • Einbetten