Формальная верификация: различия между версиями

м
ссылка на книгу Камкина о формальной верификации
м (ссылка на книгу Камкина о формальной верификации)
Метка: добавление ссылки
 
* [http://is.ifmo.ru/verification/book.pdf А. М. Миронов. Верификация программ. Часть 1: нерекурсивные программы.]
 
* [http://sp.cmc.msu.ru/courses/vmp/ А.С. Камкин Введение в формальные методы верификации программ: учебное пособие]
 
{{rq|sources|wikify}}
13

правок