Перейти к основному содержанию
Боковая панель
ОСМДО КубГУ
Русский (ru)
Русский (ru)
English (en)
Вы не вошли в систему (
Вход
)
2890 Спецификация и верификация вычислимыми логиками
В начало
Информация о курсе
В начало
Курсы
2890 Спецификация и верификация вычислимыми логиками
Описание
Спецификация и верификация вычислимыми логиками (весна)
Учитель:
Сергей Александрович Жуков