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