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

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

Рейтинг:

(0/5)

О книге

Параметр	Значение
Автор(ы)	Миронов Андрей Михайлович
Издатель	ДМК-Пресс
Год издания	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
Обложка	мягкая обложка

Сравнить цены

Последняя известная цена от 49 р. до 81 р. в 6 магазинах

В данный момент у нас нет информации о наличии данного товара в магазинах.
Вы можете поискать его на других площадках:

Магазин	Цена	Наличие
Лабиринт 5/5 ООО "ЛАБИРИНТ.РУ" ИНН: 7728644571	Заказ от 800 рублей мы привезем бесплатно!	Наличие уточняйте 22.10.2024

Яндекс.Маркет 5/5 ООО "ЯНДЕКС" ИНН: 7736207543	69 р. (-27%) Кэшбэк в Яндекс.Маркет до 3.8% ✔ Промокоды на скидку	Наличие уточняйте 27.06.2024

OMA BY 5/5 Информация о компании	Крупнейшая в Беларуси оптовая и розничная торговая сеть строительных материалов и инструментов

Algo BY 5/5 Информация о компании	Мы предлагаем профессиональную консультацию, вежливое обслуживание, честные цены и быструю и аккуратную доставку ✔ Промокоды на скидку

OZ BY 5/5 Информация о компании	Мы трудимся, чтобы предложить максимальный выбор: товаров, способов оплаты, вариантов доставки — и лучший сервис ✔ Промокоды на скидку

24shop BY 5/5 Информация о компании	24shop - это возможность приобрести все необходимое в одном месте

Домотехника 5/5 Информация о компании

21vek BY 5/5 Информация о компании	Быстрая доставка. Мы доставляем товар по всей Беларуси в удобное для вас время ✔ Промокоды на скидку

Описание

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

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

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

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

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

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

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

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

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

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

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

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