General information
| Course name | Lecture: Typsysteme |
| Course number | INF-0433 |
| Semester | WS 2024/25 |
| Current number of participants | 27 |
| Home institute | Theorie verteilter und paralleler Systeme |
| participating institutes | Institut für Informatik |
| Courses type | Lecture in category Teaching |
| First date | Wednesday, 16.10.2024 12:15 - 13:45, Room: (1055 N) |
| Pre-requisites | Empfohlen: Einführung in die Theoretische Informatik |
| Performance record | Klausur (60 Minuten) |
| Veranstaltung findet in Präsenz statt / hat Präsenz-Bestandteile | Yes |
| Hauptunterrichtssprache | deutsch |
| Literaturhinweise | 'Types and Programming Languages' von Benjamin C. Pierce |
| ECTS points | 5 |
