Задачи к коллоквиуму по МФСП

Материал из eSyr's wiki.

Перейти к: навигация, поиск

Содержание

[править] 1й коллоквиум

[править] 2й коллоквиум

[править] 1я задача

[править] 2я задача


Формальная спецификация и верификация программ

Лекции

01 02 03 04 05 06 07 08 09 10 11 12 13 14

Календарь

Сентябрь
03 10 17 24
Октябрь
01 08 15 22 29
Ноябрь
12 19 26
Декабрь
03 17
Семинары

01 02 03 04 05 06

Календарь

Сентябрь
01 08 15 22 29
Октябрь
06

Оформление задач|Проведение экзамена

Получено с http://esyr.org/wiki/%D0%97%D0%B0%D0%B4%D0%B0%D1%87%D0%B8_%D0%BA_%D0%BA%D0%BE%D0%BB%D0%BB%D0%BE%D0%BA%D0%B2%D0%B8%D1%83%D0%BC%D1%83_%D0%BF%D0%BE_%D0%9C%D0%A4%D0%A1%D0%9F
Личные инструменты
Разделы