Übung: Übung zu Isabelle-Lab - Details

Übung: Übung zu Isabelle-Lab - Details

Sie sind nicht in Stud.IP angemeldet.

Allgemeine Informationen

Veranstaltungsname Übung: Übung zu Isabelle-Lab
Veranstaltungsnummer INF-0432
Semester WS 2024/25
Aktuelle Anzahl der Teilnehmenden 6
Heimat-Einrichtung Theorie verteilter und paralleler Systeme
beteiligte Einrichtungen Institut für Informatik
Veranstaltungstyp Übung in der Kategorie Lehre
Veranstaltung findet in Präsenz statt / hat Präsenz-Bestandteile Ja
Hauptunterrichtssprache englisch

Räume und Zeiten

Keine Raumangabe

Modulzuordnungen

Kommentar/Beschreibung

An introduction to interactive theorem proving with Isabelle/HOL. Supervised practical sessions to work on the project tasks. Informations to the lecture can be found in the main course.