
Fachschaft Elektrotechnik
Formale Methoden
LVAs
-
185.291 VU Formale Methoden der Informatik 6.0 ECTS / 4 Std
-
181.145 VU Computer Aided Verification 6.0 ECTS / 2 Std
-
182.732 VU Hybrid Systems 3.0 ECTS / 2 Std
Beschreibung
translation missing: de.modul.depend