Конференции

VI Ершовская лекция по информатике, 16 апреля 2012 г.

Тема лекции: "Верификация программного обеспечения. Текущее состояние и проблемы"

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

Презентация лекции

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

Собственный видеоканал ИСИ СО РАН на YouTube

Часть 1

Часть 2

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

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 Ершовская лекция по информатике