Allgemeine Informationen
| Veranstaltungsname | Vorlesung: Isabelle-Lab |
| Veranstaltungsnummer | INF-0432 |
| Semester | WS 2022/23 |
| Aktuelle Anzahl der Teilnehmenden | 9 |
| Heimat-Einrichtung | Theorie verteilter und paralleler Systeme |
| Veranstaltungstyp | Vorlesung in der Kategorie Lehre |
| Erster Termin | Montag, 17.10.2022 08:15 - 09:45, Ort: (1057 N) |
| Art/Form | Projekt |
| Voraussetzungen | Empfohlen: Einführung in die Theoretische Informatik |
| Leistungsnachweis | praktisches Projekt in Isabelle/HOL |
| Veranstaltung findet in Präsenz statt / hat Präsenz-Bestandteile | Ja |
| Hauptunterrichtssprache | englisch |
| Literaturhinweise | https://isabelle.in.tum.de/documentation.html |
| ECTS-Punkte | 8 |
