← Zurück zum Katalog
Schlagwort

Softwaretechnik

LLM 1 Veranstaltung mit diesem Schlagwort

Vorlesung

Formal Methods for Software Engineering

4 SWS WiSe 2025/26 #422250037

Fr. 11:00 bis 12:30 · wöch.