VI лекция по информатике

16 апреля 2012 г. в конференц-зале ИВТ СО РАН состоялась VI Ершовская лекция по информатике. Лекцию на тему «Верификация программного обеспечения. Текущее состояние и проблемы» прочел академик РАН Виктор Петрович Иванников.

Предлагаем вашему вниманию фотографии, видеозапись и презентацию лекции.

Видеозапись лекции

Часть I

Часть II

Фотографии лекции




Вы обнаружили ошибку в следующем тексте:
Просто нажмите кнопку "Отправить сообщение об ошибке" для завершения. Вы можете также ввести комментарий (желательно).