Александр Сергеевич Камкин
Произведения автора 1
Только полные версии книг
РОМАНЫ и ПОВЕСТИ
электронная книга
Год написания книги 2024
Книга основана на курсах лекций по формальным методам верификации программ, читаемых автором на кафедрах системного программирования МГУ, МФТИ и ВШЭ. Список тем включает: методы формализации сема…