SOMMER 13
 | ||
|
Im Sommersemester 2013 werden wir die folgenden Veranstaltungen anbieten:
 | Grundvorlesung: Nebenläufige Programmierung |
| Vertiefungsvorlesung: Quantitative Model Checking (Blockkurs im September) |
|
SOMMER 13 |
|
||||
Im Sommersemester 2013 werden wir die folgenden Veranstaltungen anbieten:
|
||||||
| Dependable Systems & Software Group | Department of Computer Science | Universität des Saarlandes | ||||