Методы формальной верификации программ 2013 — различия между версиями
Материал из SEWiki
| Строка 4: | Строка 4: | ||
== Лекции == | == Лекции == | ||
| + | [http://dcn.infos.ru/~karpov/Model%20Checking%20Verification/%D0%9B%D0%B5%D0%BA%D1%86%D0%B8%D0%B8/Lecture%201%20Introduction.pdf Лекция 1. Введение] | ||
== Домашние задания == | == Домашние задания == | ||
| Строка 10: | Строка 11: | ||
== Ссылки == | == Ссылки == | ||
| − | http://dcn.infos.ru/~karpov/ | + | http://dcn.infos.ru/~karpov/ |
Версия 16:56, 5 сентября 2013
Лектор - Карпов Юрий Глебович
Практика -
