7 - Formale Methoden der Softwareentwicklung/ClipID:12155 vorhergehender Clip nächster Clip

Aufnahme Datum 2019-11-04

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

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
10 - Formale Methoden der Softwareentwicklung
Schloss1
Dr. Tadeusz Litak
2019-11-18
Passwort

Mehr Videos aus der Kategorie "Technische Fakultät"

1 - Theorie der Programmierung
2024-04-15
IdM-Anmeldung
geschützte Daten  
1 - Pattern Analysis
2024-04-17
IdM-Anmeldung
geschützte Daten  
2 - Vorlesung Maschinenelemente II - Wiederholung: Antriebstechnik und Getriebe
2024-04-15
Studon
geschützte Daten  
1 - Vorlesung Maschinenelemente II - Einführung, Organisatorisches
2024-04-16
Studon
geschützte Daten  
1 - Cryptographic Communications Protocols
2024-04-17
Frei
freie Daten  
1 - Knowledge Discovery in Databases
2024-04-16
Frei
freie Daten