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

от 1474 р. до 2409 р.

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

Где купить

Рейтинг:

(0/5)

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

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

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

Цена от 1474 р. до 2409 р. в 6 магазинах

Магазин	Цена	Наличие
Яндекс.Маркет 5/5 ООО "ЯНДЕКС" ИНН: 7736207543	1656 р. 1987 р. -17% Кэшбэк до 3.8% ✔ Промокоды на скидку	✔ 19.05.2024

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

book24 5/5 ООО «Новый Книжный Центр» ИНН: 7710422909	2409 р. Минимальные сроки доставки. Кэшбэк до 6.3% ✔ Промокоды на скидку	✔ 23.05.2024

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

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

МАЙШОП 5/5 ООО "МАГАЗИН КНИГ" ИНН: 9725076959	1474 р. Один из первых книжных интернет-магазинов, работающий с 2002 года Кэшбэк до 6.5% ✔ Промокоды на скидку	Наличие уточняйте 07.04.2024

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

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

Компания	Предложение
Альфа-Банк АКЦИОНЕРНОЕ ОБЩЕСТВО "АЛЬФА-БАНК" ИНН: 7728168971	Беспроцентный период - до 100 дней. Выпуск кредитной карты - бесплатно
Халва ПАО "СОВКОМБАНК" ИНН: 4401116480	Рассрочка 0% до 36 мес. Лимит кредитования - до 500 000 рублей. Снятие заемных средств в рассрочку на 3 мес. Кэшбэк до 10%

Описание

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

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

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

О книге

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