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

—

Нет оценок

Нет отзывов

Купил 1 человек

Аннотация

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

Не в наличии

Отзывы

0

Уже читали эту книгу? Поделитесь вашим мнением!

Описание и характеристики

В книге излагаются вопросы моделирования и верификации (т.е. доказательства правильности) различных классов программ. Основные концепции и основанные на них подходы к верификации иллюстрированы примерами верификации различных программ. Для закрепления усвоения изложенного материала в книге приведено большое количество задач.
Книга предназначена для студентов высших учебных заведений, обучающихся по специальностям «теоретические основы информатики», «искусственный интеллект» и «информационная безопасность».
Код3024728
Издательство
Автор
ПереплетМягкий переплёт
Кол-во страниц336
Год издания2023
Тираж100 экз.
ISBN978-5-93700-278-5
РазделПрикладное программное обеспечение
Размеры1.8 см × 16.3 см × 23.4 см
Вес0.52 кг
В магазине «Буквоед» закончилась книга «Методы верификации программ» от автора Миронов Андрей Михайлович. Когда книга снова поступит в продажу, можно будет сделать заказ из любого города России: от Санкт-Петербурга и Москвы до Казани и Краснодара. Дождитесь, пока появится надпись «Купить», чтобы получить «Методы верификации программ» в магазине сети или заказать доставку. Мы и сами любим читать, поэтому делаем всё, чтобы вы могли купить понравившуюся историю по приятной цене. Например, организуем конкурсы и проводим акции. Оставайтесь с нами, чтобы не упустить выгоду!