Пятница, 17 января 2025 — 04:50
USD: 102.38 р. EUR: 105.81 р.
17.01.2025
СкидкаГИД

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

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

от 1527 до 2409 

  • Издатель: ДМК-Пресс

  • ISBN: 978-5-93700-278-5

  • EAN: 9785937002785

  • Книги: Пользование программами

  • ID: 14092027

  • Добавлено: 11.01.2024


Описание

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

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

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

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

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

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

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

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

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

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

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

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

СкидкаГИД инфо +

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

По данным нашего сервиса товар предлагался к продаже в 6 магазинах. На сегодняшний день доступен в 4 магазинах: Читай-город, Буквоед, book24, Яндекс.Маркет. По цене от 1527 р. до 2409 р., средняя цена составляет 2189 р., а самая низкая цена в магазине Яндекс.Маркет. В случае, если для вас на данный момент цена слишком высока, вы можете воспользоваться сервисом «Сообщить о снижении цены» - мы оповестим вас как только цена опустится до желаемого значения. Но будьте внимательны, используя сервис «История цены» можно спрогнозировать в какую сторону изменяется цена, возможно сейчас самое время для покупки.

Кроме сервиса сравнеция цен, наш сайт также позволяет экономить еще двумя способами: промокодный сервис (информация о промокодах, а также скидки и акции на товары), а также собственный кэшбэк сервис. Купить с кешбеком можно в следующих магазинах: Читай-город, Буквоед, book24, Яндекс.Маркет. А информация о промокодах доступна рядом с ценой от магазина и постоянно обновляется.

О книге

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

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

Как купить или где мы находимся +

Цена от 1527 руб до 2409 руб в 4 магазинах

Также рекомендуем ознакомиться с ценами на Яндекс.Маркет.

Похожие предложения вы можете найти в нашей подборке:
Книги: Программы и утилиты для цифровых устройств - издательство "ДМК-Пресс"
Книги: Программы и утилиты для цифровых устройств с ценой 1221-1832 р.

сообщить о снижении цены
Книга: Методы верификации программ (Миронов Андрей Михайлович); ДМК-Пресс, 2023
МагазинЦенаНаличие
Буквоед

5/5

2409 
Минимальная сумма заказа 100 рублей
Крупнейшая сеть книжных магазинов

Кэшбэк до 6.3%


обновлено 17.01.2025
book24

5/5

2409 
Минимальные сроки доставки.

Кэшбэк до 6.3%


обновлено 17.01.2025
Яндекс.Маркет

5/5

1527 

Кэшбэк до 3.8%

Промокоды на скидку


обновлено 27.06.2024
Читай-город

5/5

2409 

Кэшбэк до 6.3%

Промокоды на скидку


обновлено 14.11.2024
Avito

5/5

Avito доставка позволит получить любой товар, не выходя из дома

Кэшбэк 57 

История цены

МагазинПоследняя известная ценаОбновлено
Лабиринт
2428 
22.10.2024
МАЙШОП
1474 
07.04.2024

Кэшбэк сервис СкидкаГИД

На сегодняшний день товар «Книга: Методы верификации программ (Миронов Андрей Михайлович); ДМК-Пресс, 2023» можно купить с кешбеком в 4 магазинах: Буквоед, book24, Яндекс.Маркет, Читай-город

Кэшбэк – это возврат части денег, потраченных Вами в интернет-магазинах. Всего на нашем сайте более 500 магазинов, с многими из которых Вы наверняка уже знакомы. У каждого магазина свои условия. Кто-то возвращает процент от покупки, а кто-то фиксированную сумму.

Заказывайте он-лайн и получайте часть денег обратно, подробнее..


Пункты выдачи СДЭК г. Санкт-Петербург

Вы можете получить свои товары в ближайшем пункте выдачи СДЭК


Цены в соседних городах

Отзывы (0)

    Добавить отзыв



     

    Книги: Программы и утилиты для цифровых устройств - издательство "ДМК-Пресс"

    Категория 1221 р. - 1832 р.

    Пользование программами - издательство "ДМК-Пресс" »

    ADS
    закладки (0) сравнение (0)

     

    подписаться на новинки, скидки
    preloader