Loading
0000002014 16S 6SWS PR Master-Praktikum - Spezifikation und Verifikation (IN2106, IN4035)   Hilfe Logo

LV - Detailansicht

Wichtigste Meldungen anzeigenMeldungsfenster schließen
Allgemeine Angaben
Master-Praktikum - Spezifikation und Verifikation (IN2106, IN4035) 
0000002014
Praktikum
6
Sommersemester 2016
Informatik 21 - Lehrstuhl für Logik und Verifikation (Prof. Nipkow)
(Kontakt)
Details
Angaben zur Abhaltung
vgl. Modulbeschreibung IN2106 und Webseite
Grundlegende Kenntnisse in Isabelle (z.B. Semantik (IN2055), Interactive Software Verification (IN3350)); siehe auch Webseite
vgl. Modulbeschreibung IN2106 und Webseite
Deutsch

vgl. Modulbeschreibung IN2106 und Webseite
Details
Für die Anmeldung zur Teilnahme müssen Sie sich in TUMonline als Studierende*r identifizieren.
Zusatzinformationen
Online Unterlagen
LV-Unterlagen