Библиотека НГУ
Партнеры IT-новости IT-аналитика
Новосибирский Государственный Университет
rus / eng
fit-intuit
  Объявления      События      Конкурсы      Вакансии      Конференции    
Сегодня Четверг 14.12.2017
Новости/Объявления
Администрация
Нормативные документы
Кафедры
Бакалавриат
Магистратура
Аспирантура
Сокращенная программа обучения
Научная деятельность
Жизнь факультета
Дружественные лаборатории
Олимпиады по программированию
Дополнительное образование
Всесибирская заочная школа информационных технологий
Клуб выпускников
Абитуриентам
ЕГЭ по информатике
КУРСЫ повышения квалификации для УЧИТЕЛЕЙ
Разработки НИУ
Intel Parallels
shlumberger samsung
APC Microsoft
Софтлаб Унипро Дата Ист
inteks Алекта BACUP IT
OSP СОЮЗТЕЛЕКОМ Модульные системы Торнадо
Сигнатек СибИнфоЦентр Новософт
Utilex INTUIT nvidia
Новости События

[2012-04-13] VI Ершовская лекция по информатике, 16 апреля, тема "Верификация программного обеспечения"


В понедельник 16 апреля в 14-00 в ИВТ в 411 каб. (ВЦ, вход со стороны остановки) состоится VI Ершовская лекция по информатике, тема "Верификация программного обеспечения. Текущее состояние и проблемы".
Читает академик Виктор Петрович Иванников (Институт системного программирования РАН, Москва)

 
  Designed by ITechnics. webmaster