МФСП, 11 лекция (от 19 ноября)
Материал из eSyr's wiki.
(Различия между версиями)
| (1 промежуточная версия не показана) | |||
| Строка 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 Руководство (англ.)] | ||
{{Курс МФСП}} | {{Курс МФСП}} | ||
Текущая версия
Ссылки:
