Методы верификации программ
Миронов Андрей Михайлович
Код товара: 5030659
(0 оценок)Оценить
ОтзывНаписать отзыв
ВопросЗадать вопрос
1 / 2
PDF
Издательство:
Год издания:
2023
Описание
Характеристики
В книге излагаются вопросы моделирования и верификации (т.е. доказательства правильности) различных классов программ. Основные концепции и основанные на них подходы к верификации иллюстрированы примерами верификации различных программ. Для закрепления усвоения изложенного материала в книге приведено большое количество задач.
Книга предназначена для студентов высших учебных заведений, обучающихся по специальностям «теоретические основы информатики», «искусственный интеллект» и «информационная безопасность». Также она представляет интерес для специалистов в данных областях.
Книга предназначена для студентов высших учебных заведений, обучающихся по специальностям «теоретические основы информатики», «искусственный интеллект» и «информационная безопасность». Также она представляет интерес для специалистов в данных областях.
код в Майшоп
5030659
возрастная категория
18+ (нет данных)
количество томов
1
количество страниц
336 стр.
размеры
235x165x20 мм
ISBN
978-5-93700-278-5
тип бумаги
офсетная (60-220 г/м2)
цвет
Синий
вес
язык
Русский
переплёт
Мягкая обложка
Содержание
Введение
Верификация последовательных и распределенных
программ
Верификация функциональных программ
Model cheking на основе CTL
Теория процессов
Верификация последовательных и распределенных
программ
Верификация функциональных программ
Model cheking на основе CTL
Теория процессов
Отзывы
Вопросы
Поделитесь своим мнением об этом товаре с другими покупателями — будьте первыми!
Дарим бонусы за отзывы!
За какие отзывы можно получить бонусы?
- За уникальные, информативные отзывы, прошедшие модерацию
Как получить больше бонусов за отзыв?
- Публикуйте фото или видео к отзыву
- Пишите отзывы на товары с меткой "Бонусы за отзыв"
Задайте вопрос, чтобы узнать больше о товаре
Если вы обнаружили ошибку в описании товара «Методы верификации программ» (авторы: Миронов Андрей Михайлович), то выделите её мышкой и нажмите Ctrl+Enter. Спасибо, что помогаете нам стать лучше!