О книге: Методы верификации программ (Миронов Андрей Михайлович); ДМК-Пресс, 2023

2161 р.

Издатель: ДМК-Пресс
ISBN: 978-5-93700-278-5
Книги: Пользование программами
ID:14092027

Рейтинг:

(0/5)

Описание Характеристики Сравнить цены (1) Отзывы (0)

О книге

Параметр	Значение
Автор(ы)	Миронов Андрей Михайлович
Издатель	ДМК-Пресс
Год издания	2023
Кол-во страниц	336
Раздел	Пользование программами
ISBN	978-5-93700-278-5
Количество страниц	336
Формат	70х100/16 клей
Вес	0.52кг
Возрастные ограничения	12
Переплет	70х100/16 клей
Страниц	336
Переплёт	мягкий
Размеры	16,30 см × 23,40 см × 1,80 см
Тематика	ПО для проектирования и конструирования
Тираж	100
Обложка	мягкая обложка

Где купить (1)

Цена от 2161 р. до 2161 р. в 1 магазинах

Магазин	Цена	Наличие
book24 5/5 ООО «Новый Книжный Центр» ИНН: 7710422909	2161 р. 2713 р. -20% Минимальные сроки доставки. Кэшбэк до 6.1% ✔ Промокоды на скидку	✔ 15.06.2025

Буквоед 5/5 ООО «Новый Книжный Центр» ИНН: 7710422909	последняя известная цена: 2409 р. Минимальная сумма заказа 100 рублей Крупнейшая сеть книжных магазинов Кэшбэк до 6.1% ✔ Промокоды на скидку	✔ нет в наличии 16.06.2025

Avito 5/5 ООО КЕХ еКоммерц ИНН: 7710668349	Avito доставка позволит получить любой товар, не выходя из дома

История цены
Магазин	Последняя известная цена	Обновлено
Яндекс.Маркет	1527 р.	27.06.2024
Читай-город	2409 р.	14.11.2024
Лабиринт	2428 р.	22.10.2024
МАЙШОП	1474 р.	07.04.2024

Предложения банков

Компания	Предложение
Халва ПАО "СОВКОМБАНК" ИНН: 4401116480	Рассрочка 0% до 36 мес. Лимит кредитования - до 500 000 рублей. Снятие заемных средств в рассрочку на 3 мес. Кэшбэк до 10%
РОСБАНК	Cashback: - от 2 до 10% — на 2 выбранные категории - 1% — на остальные покупки в зависимости от общей суммы с начала месяца

Описание

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

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

Методы верификации программ (Миронов Андрей Михайлович) - фото №1

Методы верификации программ (Миронов Андрей Михайлович) - фото №2

Методы верификации программ (Миронов Андрей Михайлович) - фото №3

Методы верификации программ (Миронов Андрей Михайлович) - фото №4

Методы верификации программ (Миронов Андрей Михайлович) - фото №5

Методы верификации программ (Миронов Андрей Михайлович) - фото №6

Методы верификации программ (Миронов Андрей Михайлович) - фото №7

Методы верификации программ (Миронов Андрей Михайлович) - фото №8

Методы верификации программ (Миронов Андрей Михайлович) - фото №9

Смотри также о книге.