Home | deutsch  | Legals | Sitemap | KIT

Entscheidungsverfahren mit Anwendungen in der Softwareverifikation

Entscheidungsverfahren mit Anwendungen in der Softwareverifikation
type: Vorlesung (V)
semester: SS 2013
place:

50.34 Raum 131

time:

Mo 14:00-15:30

start: 15.04.2013
lecturer: Dr. Carsten Sinz
Dr. Stephan Falke
sws: 2
lv-no.: 2400034