Home | english  | Impressum | Sitemap | KIT

Proseminar "Desaster in der Software-Sicherheit"

Proseminar "Desaster in der Software-Sicherheit"
Typ: Proseminar (PS) Links:
Semester: SS 2014
Zeit: 14.04.2014
13:00 - 14:00 einmalig
50.34 Raum 236 50.34 INFORMATIK, Kollegiengebäude am Fasanengarten


22.04.2014
13:00 - 14:00 einmalig
50.34 Raum 236 50.34 INFORMATIK, Kollegiengebäude am Fasanengarten


Dozent: Prof.Dr. Peter Hans Schmitt
Prof.Dr. Bernhard Beckert
LVNr.: 2400080
Weitere Informationen finden Sie auf den Webseiten des Lehrstuhls "Anwendungsorientierte Formale Verifikation" von Prof. Dr. Bernhard Beckert.