General information
Course name | Lecture: Isabelle-Lab |
Course number | INF-0432 |
Semester | WS 2024/25 |
Current number of participants | 8 |
Home institute | Theorie verteilter und paralleler Systeme |
participating institutes | Institut für Informatik |
Courses type | Lecture in category Teaching |
Next date | Thursday, 14.11.2024 08:30 - 11:30, Room: (1005 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 |