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

от 55 р. до 80 р.

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

Где купить

Рейтинг:

(0/5)

Отзывы (0) Оставить отзыв

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

Сравнить цены (2)

Цена от 55 р. до 80 р. в 2 магазинах

Магазин	Цена	Наличие
Лабиринт 5/5 ООО "ЛАБИРИНТ.РУ" ИНН: 7728644571	103 р. (-50%) Заказ от 800 рублей мы привезем бесплатно! Кэшбэк в Лабиринт до 7%	Наличие уточняйте 08.04.2024

Читай-город 5/5 ООО «Новый Книжный Центр» ИНН: 7710422909	Кэшбэк в Читай-город до 6.3% ✔ Промокоды на скидку	✔ 05.06.2024

Яндекс.Маркет 5/5 ООО "ЯНДЕКС" ИНН: 7736207543	66 р. (-17%) Кэшбэк в Яндекс.Маркет до 3.8% ✔ Промокоды на скидку	✔ 04.06.2024

Fk BY 5/5 Информация о компании	Более 10 лет мы занимаемся продажей компьютеров, ноутбуков и обслуживанием компьютерной техники.

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

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

О книге

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