Главная
Авторы
Александр Сергеевич Камкин

Александр Сергеевич Камкин

Жанры и тэги:

программирование информатика и вычислительная техника

Посмотреть все

03.04.2026

Введение в формальные методы верификации программ

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

Подробнее