Вебинар:
Курсы
1 курс
Сортировать:
По релевантности
По дисциплине
Доступ
Адресация
Рабочая программа
Материалы
Часы изучения
Новинки
- бакалавриат
- магистратура
- специалитет
- аспирантура
Научная школа:
Российский государственный педагогический университет имени А.И. Герцена (Герценовский университет) (г. Санкт-Петербург)
Используют:
84
вуза
38
преподавателей
61
студент
Формальная верификация моделей программного обеспечения
Более 10 000 учебников
Более 5000 курсов
Тесты и задания платформы