Deutschland » Baden-Württemberg » Uni Konstanz » Informatik » Prof. Leue » Kurse
Prof. Stefan Leue
Dies ist Ihr Profil? Informieren Sie sich über die Registrierung oder melden Sie sich gleich an.
Prof.
Stefan
Leue
Informatik
Uni Konstanz
Lehrveranstaltungen von Prof. Stefan Leue
| Veranstaltung | Umfang | Beschreibung | Bewertungen |
|---|---|---|---|
| Logic in Computer and Software Science Vorlesung + Übung/Tutorium |
3 SWS 6 CP |
- | 1 |
| Methoden der Praktischen Informatik 1 Vorlesung + Übung/Tutorium |
6 SWS | - | 13 |
| Methoden der Praktischen Informatik 2 Vorlesung + Übung/Tutorium |
6 SWS | - | 5 |
| Model Checking of Software Vorlesung + Übung/Tutorium |
4 SWS 7.5 CP |
- | 1 |
| Software Engineering Vorlesung + Übung/Tutorium |
4 SWS | - | 9 |
| Software Projekt Projekt |
20 SWS 10 CP |
- | 3 |
