6 - Formale Methoden der Softwareentwicklung/ClipID:12135 vorhergehender Clip nächster Clip

Aufnahme Datum 2019-10-29

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

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

Mehr Videos aus der Kategorie "Technische Fakultät"

1 - Introduction to Software Engineering
2024-04-19
Frei
freie Daten  
1 - Human-centered mechatronics and robotics
2024-04-17
Studon
geschützte Daten  
1 - Schaltungstechnik
2024-04-17
IdM-Anmeldung
geschützte Daten  
1 - Cognitive Neuroscience for AI Developers
2024-04-17
IdM-Anmeldung
geschützte Daten  
1 - Mechatronic components and systems
2024-04-18
Studon
geschützte Daten  
1 - Artificial Intelligence II
2024-04-17
Frei
freie Daten