Так как лекция 5 апреля была посвящена вопросам спецификации и верификации программ с указателями, срок сдачи домашнего задания №3 по языку Си сдвигается на 12:00 16 апреля.
Формальные методы разработки программ
Магистратура факультета ВМК МГУ имени М.В. Ломонсоова
Так как лекция 5 апреля была посвящена вопросам спецификации и верификации программ с указателями, срок сдачи домашнего задания №3 по языку Си сдвигается на 12:00 16 апреля.