Modulinformationssystem Informatik

 

Modul "Formale Softwareverifikation" im WS15/16

Dozent: Prof. Dr. Dirk Nowotka

Dieses Modul ist für dieses Semester in keinem Masterprogramm des Masterstudiengangs Informatik eingeplant.