General information
| Course name | Lecture: Isabelle-Lab |
| Course number | INF-0432 |
| Semester | WS 2022/23 |
| Current number of participants | 14 |
| Home institute | Theorie verteilter und paralleler Systeme |
| Courses type | Lecture in category Teaching |
| First date | Monday, 17.10.2022 08:15 - 09:45, Room: (1057 N) |
| Type/Form | Projekt |
| Pre-requisites | Empfohlen: Einführung in die Theoretische Informatik |
| Performance record | praktisches Projekt in Isabelle/HOL |
| Veranstaltung findet in Präsenz statt / hat Präsenz-Bestandteile | Yes |
| Hauptunterrichtssprache | englisch |
| Literaturhinweise | https://isabelle.in.tum.de/documentation.html |
| ECTS points | 8 |
