Lehrstuhl Informatik II   
Sprachen und Beschreibungsstrukturen      
   Home Lehre Wintersemester10/11 Seminare login

Seminare



Programming Models and Code Generation
Dozent:Prof. Seidl, Prof. Gerndt
Ort/Zeit:Blockseminar
ModulNummer:IN 8901
Beschreibung:    
Automatische Verifikation von Software Contracts mit MS Clousot
Dozent:Manuel Fähndrich
Ort/Zeit:17.09.2010 Hörsaal 2, 14:00 Uhr
ModulNummer:Sondervortrag
Beschreibung:    Microsoft Research-Vortrag
TUM - Lehrstuhl Informatik II (Sprachen und Beschreibungsstrukturen) Thanks: Tango and TinyMCE     Generationszeit: 5 ms