28 марта 2024 года 20:33 | последнее обновление произошло в 20:26 (МСК)
 
 
     18+
 
    

Увы, такой новости нет

Книга в тему

«Методы верификации программ»
Миронов Андрей Михайлович

В книге излагаются вопросы моделирования и верификации (т.е. доказательства правильности) различных классов программ. Основные концепции и основанные на них подходы к верификации иллюстрированы примерами верификации различных программ. Для закрепления усвоения изложенного материала в книге приведено большое количество задач.

Книга предназначена для студентов высших учебных заведений, обучающихся по специальностям «теоретические основы информатики», «искусственный интеллект» и «информационная безопасность». Также она представляет интерес для специалистов в данных областях.
 

Партнёры

Другие новости