Уважаемые научные руководители и преподаватели!
С ближайшей среды 20 февраля, в 10:50 (вторая пара), в ауд. 5207 нового корпуса НГУ к.ф.-м.н. И.В. Марьясов начинает читать спецкурс "Методы верификации программ". Посещение спецкурса рекомендуется студентам, у которых темы исследований близки к теме спецкурса (а впрочем, и всем остальным студентам он может быть полезен).