Шаблон:ВПнМ
Материал из eSyr's wiki.
(Различия между версиями)
(Новая: {{Курс ВПнМ}} Категория:ВПнМ Категория:Лекции {{Lection}}) |
(Новая: {{Курс ВПнМ}} Категория:ВПнМ Категория:Лекции {{Lection}}) |
Текущая версия
Верификация программ на моделях
Календарь
пт | пт | пт | пт | пт | |
Февраль
| 08 | 15 | 22 | 29 | |
Март
| 14 | 21 | 28 | ||
Апрель
| 04 | 11 | 18 |
Материалы по курсу
Список вопросов к экзамену | Примеры задач: 1 2 3 4 5 | Теормин
Эта статья является конспектом лекции.