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

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