10 - Formale Methoden der Softwareentwicklung/ClipID:12276 vorhergehender Clip

Aufnahme Datum 2019-11-18

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

Mehr Videos aus der Kategorie "Technische Fakultät"

2 - Einführung in Datenbanken
2024-04-24
Studon
geschützte 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-22
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