Lehrstuhl Informatik II   
Sprachen und Beschreibungsstrukturen      
   Home Lehre Sommersemester 15 Seminare login

Seminare



Tools für die Anwendung formaler Methoden bei der Software-Entwicklung
Dozent:Dr. Michael Petter
Ort/Zeit:tue/wed June 9th/10th en bloque in MI 02.07.034
ModulNummer:IN2107 IN0014
Beschreibung:    We shed light on different tools that assist software development with formal methods
TUM - Lehrstuhl Informatik II (Sprachen und Beschreibungsstrukturen) Thanks: Tango and TinyMCE     Generationszeit: 5 ms