SUMMER 10

In the summer term 2010 we offer:


Basic course: Nebenläufige Programmierung
Advanced course: Quantitative Model Checking