4 - Formale Methoden der Softwareentwicklung/ClipID:12080 vorhergehender Clip nächster Clip

Aufnahme Datum 2019-10-22

Kurs-Verknüpfung

Formale Methoden der Softwareentwicklung

Lehrende(r)

Dr. Tadeusz Litak

Zugang

Passwort

Sprache

Deutsch

Einrichtung

Lehrstuhl für Informatik 8 (Theoretische Informatik)

Produzent

MultiMediaZentrum

Format

Vorlesung

Typ

universitäre Vorlesung

Nächstes Video

5 - Formale Methoden der Softwareentwicklung
Schloss1
Dr. Tadeusz Litak
2019-10-28
Passwort
6 - Formale Methoden der Softwareentwicklung
Schloss1
Dr. Tadeusz Litak
2019-10-29
Passwort
7 - Formale Methoden der Softwareentwicklung
Schloss1
Dr. Tadeusz Litak
2019-11-04
Passwort
8 - Formale Methoden der Softwareentwicklung
Schloss1
Dr. Tadeusz Litak
2019-11-11
Passwort
9 - Formale Methoden der Softwareentwicklung
Schloss1
Dr. Tadeusz Litak
2019-11-12
Passwort

Mehr Videos aus der Kategorie "Technische Fakultät"

10 - Werkstoffkunde und Technologie der Metalle
2025-01-17
Passwort
geschützte Daten  
9 - Cyber-physical Systems (Übung), Wintersemester 2024/25
2025-01-17
Studon
geschützte Daten  
7 - Robotics 2 - Exercise 9
2025-01-16
Studon
geschützte Daten  
11 - Grundlagen der Informatik
2025-01-20
Studon
geschützte Daten  
11 - Robot mechanisms and user interfaces
2025-01-20
IdM-Anmeldung
geschützte Daten  
12 - Informatische Werkzeuge in den Geistes- und Sozialwissenschaften I
2025-01-17
Frei
freie Daten