Webmail
DE
EN
Modelle und Theorie Verteilter Systeme

Sommersemester 2023

Veranstaltung  StudiengangBereichLP / ETCSSWS
IV Formale Sprachen und AutomatenModulbeschreibungISIS-KursB.Sc. InformatikWahlpflicht64
IV Algebraische Prozess KalküleModulbeschreibungISIS-KursM.Sc. Computer ScienceWahlpflicht64
PP Modelle Dynamischer SystemeModulbeschreibungISIS-KursB.Sc. InformatikWahlpflicht Programmierpraktikum64
HS World of ProofcraftModulbeschreibungISIS-KursB.Sc. InformatikWahlpflicht64