Александр Сергеевич Камкин
Жанры и тэги:
Введение в формальные методы верификации программ
Книга основана на курсах лекций по формальным методам верификации программ, читаемых автором на кафедрах системного программирования МГУ, МФТИ и ВШЭ. …
Подробнее