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

Характеристики

Издано	Издательство «ДМК Пресс»
Формат(ы)	Pdf
Размер файла, pdf	49.1 Mб

Ознакомительный фрагмент

Открыть/скачать фрагмент 3,3 мб

Отзывы

Художественная литература
Учебные и учебно-методические издания
Справочные издания
Религия и эзотерика
Общественные науки. Философия. Психология
Естественные науки. Математика
Прикладные дисциплины. Техника. Сельское хозяйство
Медицина. Здоровье
Воспитание. Образование. Педагогика
Филология и искусство
Дом. Быт. Спорт. Туризм
Литература для детей и юношества

Авторы
Издательства
Серии

О нашем магазине

Название, принадлежность, политика

Контакты

Информация

Оплата

Доставка

Безопасность

Помощь

Вопрос-ответ

Яндекс.Дзен

Файлы cookie

Мы используем файлы cookie, разработанные нашими специалистами и третьими лицами, для анализа событий на нашем веб-сайте. далее

Продолжая просмотр страниц нашего сайта, вы принимаете условия его использования. Более подробные сведения смотрите в нашей Политике в отношении файлов Cookie.