Методы верификации программ

Здесь можно скачать "Методы верификации программ", год 2023 в формате fb2 полную версию бесплатно без регистрации и SMS, а также читать онлайн книгу на сайте ПараКниг (paraknig.me)

Год издания: 2023
Полная версия книги

Рейтинг

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

Методы верификации программ - описание и краткое содержание, автор Миронов Андрей Михайлович, читайте бесплатно онлайн на сайте электронной библиотеки paraknig.me

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





Чтобы оставить свою оценку и/или комментарий, Вам нужно войти под своей учетной записью или зарегистрироваться


Пока никто не оставил впечатление о книге...


Пока никто не оставил цитат из этой книги...

Другие книги авторавсе книги
Административное право Учебник
Муниципальное право Российской Федерации Учебное пособие
Русской судьбы тайна Роман-размышление
Русло русского речения или О сокровенном русском смысле по-русски