Home | english  | Impressum | Datenschutz | Sitemap | KIT

Seminar: Anwendung Formaler Verifikation

Seminar: Anwendung Formaler Verifikation
Typ: Seminar (S) Links:
Semester: SS 2019
Zeit: 23.04.2019
13:00 - 14:00 täglich
50.34 Raum 236
50.34 INFORMATIK, Kollegiengebäude am Fasanengarten

Dozent: Prof. Dr. Carsten Sinz
Prof. Dr. Bernhard Beckert
SWS: 2
LVNr.: 2400025
Bemerkungen

Anmeldung:

Persönlich oder per E-Mail bei Simone Meinhart (Raum 223, Geb. 50.34)

Mail: simone.meinhart@kit.edu