Верификация программ на моделях
01 02 03 04 05 06 07 08 09 10
Календарь
Материалы по курсу Список вопросов к экзамену | Примеры задач: 1 2 3 4 | Краткий вариант курса
