Ab 2. November 2020 findet das Herbstsemester 2020 online statt. Ausnahmen: Veranstaltungen, die nur mit Präsenz vor Ort durchführbar sind. Bitte beachten Sie die per E-Mail kommunizierten Informationen der Dozierenden.

263-4630-00L  Computer-Aided Modelling and Reasoning

SemesterFrühjahrssemester 2019
DozierendeC. Sprenger, D. Traytel
Periodizitätjährlich wiederkehrende Veranstaltung
LehrspracheEnglisch
KommentarIn the Master Programme max. 10 credits can be accounted by Labs on top of the Interfocus Courses. Additional Labs will be listed on the Addendum.


StudiengangBereichTyp
Informatik MasterWahlfächer der Vertiefung in Software EngineeringWInformation
Informatik MasterWahlfächer der Vertiefung General StudiesWInformation
Informatik MasterWahlfächer der Vertiefung in Information SecurityWInformation