Informationssystem der Otto-Friedrich-Universität Bamberg
© Config eG
GdI-MTL: Modal and Temporal Logic
Dozentinnen/Dozenten
Martin Sticht, Dr. Laura-Christiane Folter
Angaben
Vorlesung und Übung
2,00 SWS
Zeit und Ort: Di 14:15 - 15:45, WE5/04.004
Zusätzliche Informationen
www:
https://vc.uni-bamberg.de/moodle/course/view.php?id=26218
Institution:
Professur für Grundlagen der Informatik
Hinweis für Web-Redakteure:
Wenn Sie auf Ihren Webseiten einen Link zu dieser Lehrveranstaltung setzen möchten, verwenden Sie bitte einen der folgenden Links:
Link zur eigenständigen Verwendung
Link zur Verwendung in Typo3
UnivIS ist ein Produkt der Config eG, Buckenhof