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


Quantitative Verification - Sommersemester 2018

Übersicht


Beschreibung
Kommentar Spezialvorlesung in den Studiengängen BSc + MSc Informatik + ESE (3 + 1 SWS, 6 ECTS)