VI Ершовская лекция. Часть 2

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

Иконка канала ИСИ СО РАН
ИСИ СО РАН
25 подписчиков
12+
2 просмотра
2 года назад
ПожаловатьсяНарушение авторских прав
12+
2 просмотра
2 года назад

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

, чтобы оставлять комментарии