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


Verifikation eingebetteter Systeme - Wintersemester 2013/14

Zeit / Ort


Vorlesung Dienstag + Donnerstag, 14-16 Uhr (dienstags im Wechsel mit Übungen)

Raum: 51-03-026
Übungen Dienstag, 14-16 Uhr alle zwei Wochen

Raum: 51-03.026