WINTER 13/14
 | ||
|
Im Wintersemester 2013/14 werden wir die folgenden Veranstaltungen anbieten:
 | Grundvorlesung: Programmierung 1 |
| Vertiefungsvorlesung: Energieinformatik |
| Vertiefungsvorlesung: Quantitative Model Checking |
|
WINTER 13/14 |
|
||||||
Im Wintersemester 2013/14 werden wir die folgenden Veranstaltungen anbieten:
|
||||||||
| Dependable Systems & Software Group | Department of Computer Science | Universität des Saarlandes | ||||||