Informationssystem der Otto-Friedrich-Universität Bamberg
© Config eG
Grundlagen der Informatik
GdI-MTL: Modal and Temporal Logic
V/Ü; 2,00 SWS; Do, 8:00 - 10:00, WE5/04.004
Mendler, M.
GdI-MTL: Modal and Temporal Logic
V/Ü; 2,00 SWS; Di, 14:00 - 16:00, WE5/04.004
Mendler, M.
UnivIS ist ein Produkt der Config eG, Buckenhof