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

Subjects A - Z