С/к "Методы верификации программ"

25.09.2013

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