Back to overview of courses
|
||||
|
||||
|
Übersicht |
||||
|
Die Vorlesung Entwurf zuverlässiger Software richtet
sich an Studenten des Hauptstudiums Informatik. Sie gibt einen
Überblick über die wichtigsten Technicken des systematischen
Entwurfs von Softwaresystemen und über formale Methoden zur
zuverlässigen Implementierung von Algorithmen auf der Basis
eines solchen Entwurfs.
|
||||
|
Vorlesungsfolien
|
||||
|
Back to overview of courses |
||||