SUMMER 10
 | ||
|
In the summer term 2010 we offer:
 | Basic course: Nebenläufige Programmierung |
| Advanced course: Quantitative Model Checking |
|
SUMMER 10 |
|
||||
In the summer term 2010 we offer:
|
||||||
| Dependable Systems & Software Group | Department of Computer Science | Universität des Saarlandes | ||||