19567
Seminar
WiSe 12/13: Seminar Typ- und Effektsysteme
Marcel Kyas
Additional information / Pre-requisites
2,4
Comments
Inhalt Ein Typ- und Effektsystem ist eine syntaktische Methode zum Beweisen der Abwesenheit von bestimmten Fehlern in Programmen, die das Programmverhalten entsprechend der Art der Werte ... read more
15 Class schedule
Regular appointments
Wed, 2012-10-17 10:00 - 12:00
Wed, 2012-10-24 10:00 - 12:00
Wed, 2012-10-31 10:00 - 12:00
Wed, 2012-11-07 10:00 - 12:00
Wed, 2012-11-14 10:00 - 12:00
Wed, 2012-11-21 10:00 - 12:00
Wed, 2012-11-28 10:00 - 12:00
Wed, 2012-12-05 10:00 - 12:00
Wed, 2012-12-12 10:00 - 12:00
Wed, 2012-12-19 10:00 - 12:00
Wed, 2013-01-09 10:00 - 12:00
Wed, 2013-01-16 10:00 - 12:00
Wed, 2013-01-23 10:00 - 12:00
Wed, 2013-01-30 10:00 - 12:00
Wed, 2013-02-06 10:00 - 12:00