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