GdI-MTL: Modal and Temporal Logic
- Dozent/in
- Prof. Michael Mendler, Ph.D.
- Angaben
- Übung
Präsenz + Online-Anteile 2,00 SWS
Zeit und Ort: Di 14:00 - 16:00, WE5/04.004; Bemerkung zu Zeit und Ort: Veranstaltung online über MS Teams
- Zusätzliche Informationen
- Erwartete Teilnehmerzahl: 60
- 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
|
|