Кафедра программирования механико-математического факультета Новосибирского государственного университета
Доцент В.А. Непомнящий начал чтение лекций по спецкурсу "Методы верификации программ". Занятия проходят по средам в 254 к. ИСИ СО РАН. Начало в 10:45.
Веб-мастер Веб-мастер