Конференции

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

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

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

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

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

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

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