Uni-Logo
Deutsch      
Rechnerarchitektur
        Startseite         |         Institut für Informatik         |         Technische Fakultät
 
course
overview  |  time/location  |  organiser  |  literature
materials
material download


Quantitative Verification - Summer Term 18

overview


description
comment Advanced lecture for BSc and Msc Computer Science and Embedded Systems Engineering (3 + 1 SWS, 6 ECTS)