Спонсор: Microsoft
Опубликован: 09.02.2010 | Доступ: свободный | Студентов: 1859 / 154 | Оценка: 4.17 / 4.42 | Длительность: 02:12:00
Специальности: Программист
Лекция 23:

Доказательство свойств программ

< Лекция 1 || Лекция 23
Аннотация: Доказательство корректности программ на примерах. Проблема самопременимости.
< Лекция 1 || Лекция 23
Алексей Хонин
Алексей Хонин

А есть материалы курса (презентации) по каждому уроку, А то на видео не видно, что происходит на экране