Deutschland » Baden-Württemberg » KIT » Informatik » Prof. Dr. Schmitt » Kurse
Prof. Dr. Peter H. Schmitt
Dies ist Ihr Profil? Informieren Sie sich über die Registrierung oder melden Sie sich gleich an.
Prof. Dr.
Peter H.
Schmitt
Informatik
KIT
Lehrveranstaltungen von Prof. Dr. Peter H. Schmitt
| Veranstaltung | Umfang | Beschreibung | Bewertungen |
|---|---|---|---|
| Formal Specification and Verification Vorlesung |
3 SWS | - | 2 |
| Formale Systeme Vorlesung + Übung/Tutorium |
4 SWS 6 CP |
- | 9 |
| Informatik III Vorlesung + Übung/Tutorium |
4 SWS | - | 0 |
| Nichtklassische Logiken Vorlesung |
3 SWS | - | 2 |
