 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| Informationssystem der Otto-Friedrich-Universität Bamberg |
© Config eG |
|
|
|
|
|
|
|
|
Gaststudierendenverzeichnis >> Fakultät Wirtschaftsinformatik und Angewandte Informatik >> Bachelor-/Masterstudiengänge Angewandte Informatik, Computing in the Humanities, International Information Systems Management, Software Systems Science, International Software Systems Science, Wirtschaftsinformatik, Wirtschaftspädagogik mit Schwerpunkt Wirtschaftsinformatik >>
|
GdI-MTL: Modal and Temporal Logic- Dozent/in
- Luke Burke
- Angaben
- Übung
Rein Präsenz
2,00 SWS
Gaststudierendenverzeichnis
Zeit und Ort: Do 8:00 - 10:00, WE5/04.004
- Englischsprachige Informationen:
- Title:
- GdI-MTL: Modal and Temporal Logic
- Zusätzliche Informationen
- www: https://vc.uni-bamberg.de/course/view.php?id=57772
- 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 |
|
|