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"

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  
24 - Artificial Intelligence I
2025-01-16
Frei
freie Daten  
12 - Grundlagen der Elektrotechnik III
2025-01-16
IdM-Anmeldung
geschützte Daten  
34 - Vorlesungen und Übungen zu Maschinenelemente I
2025-01-20
Studon
geschützte Daten  
23 - Algorithmen und Datenstrukturen (für Medizintechnik)
2025-01-17
Studon
geschützte Daten