Moderne Methoden der Software-Entwicklung, Vorlesung 1: Was ist Design by Contract?

Не удается загрузить Youtube-плеер. Проверьте блокировку Youtube в вашей сети.
Повторяем попытку...