Формальные методы спецификации программного обеспечения (ВТ: №2)

Лаб. занятия 2 в неделю;Лекции 1 в неделю

Группы

240841/02; 240841/02и