МФСП, 11 лекция (от 19 ноября)
Материал из eSyr's wiki.
(Различия между версиями)
(Новая: [http://sed.ispras.ru/fmprac/data/PVS-Lecture-2008.odt Конспект лекции]) |
|||
| (3 промежуточные версии не показаны) | |||
| Строка 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 Руководство (англ.)] | ||
| + | |||
| + | {{Курс МФСП}} | ||
Текущая версия
Ссылки:
