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