Lehrveranstaltungen



Ausgewählte Kapitel der Verifikation (WM 8)
Zur übergeordneten Rubrik
ML
703523
Experimente mit Verifikation (VO / 1h / 2 ECTS-AP)
Christian Sternagel
Details zu dieser Lehrveranstaltung
ML
703925
Automatisches Beweisen (VO / 2h / 4 ECTS-AP)
Aart Middeldorp
Details zu dieser Lehrveranstaltung

Hinweis:
  • Es können sich noch Änderungen im Lehrveranstaltungsangebot sowie bei Raum- und Terminbuchungen ergeben.
  • Bitte wählen Sie für das Lehrveranstaltungsangebot die Fakultät aus, der Ihre Studienrichtung zugeteilt ist.