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

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

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

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

Часть I

Часть II

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

VI Ершовская лекция по информатике

VI Ершовская лекция по информатике

VI Ершовская лекция по информатике

VI Ершовская лекция по информатике

VI Ершовская лекция по информатике

VI Ершовская лекция по информатике

VI Ершовская лекция по информатике

VI Ершовская лекция по информатике

VI Ершовская лекция по информатике

VI Ершовская лекция по информатике

VI Ершовская лекция по информатике

VI Ершовская лекция по информатике

VI Ершовская лекция по информатике

VI Ершовская лекция по информатике

VI Ершовская лекция по информатике

VI Ершовская лекция по информатике

VI Ершовская лекция по информатике

VI Ершовская лекция по информатике

VI Ершовская лекция по информатике

VI Ершовская лекция по информатике

VI Ершовская лекция по информатике

VI Ершовская лекция по информатике

VI Ершовская лекция по информатике

VI Ершовская лекция по информатике

VI Ершовская лекция по информатике

VI Ершовская лекция по информатике

VI Ершовская лекция по информатике

VI Ершовская лекция по информатике

VI Ершовская лекция по информатике

VI Ершовская лекция по информатике

VI Ершовская лекция по информатике

Вы обнаружили ошибку в следующем тексте:

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