Uni-Logo
English      
Rechnerarchitektur
        Startseite         |         Institut für Informatik         |         Technische Fakultät
 
Veranstaltung
Übersicht  |  Zeit/Ort  |  Veranstalter


Quantitative Verification - Sommersemester 2021

Zeit / Ort


Vorlesung Aufgrund der aktuellen Lage wird die Vorlesung bis auf Weiteres online als Live-Stream sowie in Form von Videoaufzeichnungen angeboten.

Zeiten: Mo und Do, 10-12 Uhr

Weitere Informationen und Zugang zu den Vorlesungen via Illias:
https://ilias.uni-freiburg.de/goto.php?target=crs_2072905&client_id=unifreiburg
(Passwort nach Anmeldung im HISinOne oder auf Anfrage)
Übungen Wird angekündigt, etwa alle zwei Wochen Donnerstags zur Vorlesungszeit, per Live-Stream.