WINTER 07/08

In the winter term 07/08 we offer:


Grundvorlesung: Programming I
Spezialvorlesung: Concurrent Programming: Theory and Practice
Seminar: Validation of Stochastic Systems