Modulinformationssystem Informatik

 

Modul "Verifikation nebenläufiger Programme" im SS07

Dozent: Prof. Dr. Willem-Paul de Roever

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