Редактирование: МФСП, 11 лекция (от 19 ноября)
Материал из eSyr's wiki.
Внимание: Вы не представились системе. Ваш IP-адрес будет записан в историю изменений этой страницы.
Правка может быть отменена. Пожалуйста, просмотрите сравнение версий, чтобы убедиться, что это именно те изменения, которые вас интересуют, и нажмите «Записать страницу», чтобы изменения вступили в силу.
Текущая версия | Ваш текст | ||
Строка 1: | Строка 1: | ||
Ссылки: | Ссылки: | ||
* [http://sed.ispras.ru/fmprac/data/PVS-Lecture-2008.odt Конспект лекции] | * [http://sed.ispras.ru/fmprac/data/PVS-Lecture-2008.odt Конспект лекции] | ||
- | * [http://pvs.csl.sri.com/doc/pvs-prover-guide.pdf Руководство (англ.)] | ||
{{Курс МФСП}} | {{Курс МФСП}} |