- Руководства по пользованию программами
- Программирование
- Операционные системы и утилиты для ПК
- Интернет
- Графика. Дизайн. Проектирование
- Железо ПК
- Информатика
- Сети и коммуникации
- Бухгалтерия
- Базы данных
- Анализ данных
- Электронная бухгалтерия
- Машинное обучение. Анализ данных
- Менеджмент в IT
Методы верификации программ (Миронов Андрей Михайлович); ДМК-Пресс, 2023
от 2115 до 2409
Издатель: ДМК-Пресс
ISBN: 978-5-93700-278-5
EAN: 9785937002785
Книги: Пользование программами
ID: 14092027
Добавлено: 11.01.2024
Описание
В книге излагаются вопросы моделирования и верификации (т.е. доказательства правильности) различных классов программ. Основные концепции и основанные на них подходы к верификации иллюстрированы примерами верификации различных программ. Для закрепления усвоения изложенного материала в книге приведено большое количество задач.
Книга предназначена для студентов высших учебных заведений, обучающихся по специальностям «теоретические основы информатики», «искусственный интеллект» и «информационная безопасность».
Смотри также о книге.
СкидкаГИД инфо +
Сервис сравнения цен СкидкаГИД предлагает сравнить цены на товар «Книга: Методы верификации программ (Миронов Андрей Михайлович); ДМК-Пресс, 2023»
По данным нашего сервиса товар предлагался к продаже в 6 магазинах. На сегодняшний день доступен в 3 магазинах: Читай-город, Буквоед, book24. По цене от 2115 р. до 2409 р., средняя цена составляет 2311 р., а самая низкая цена в магазине book24. В случае, если для вас на данный момент цена слишком высока, вы можете воспользоваться сервисом «Сообщить о снижении цены» - мы оповестим вас как только цена опустится до желаемого значения. Но будьте внимательны, используя сервис «История цены» можно спрогнозировать в какую сторону изменяется цена, возможно сейчас самое время для покупки.
Кроме сервиса сравнеция цен, наш сайт также позволяет экономить еще двумя способами: промокодный сервис (информация о промокодах, а также скидки и акции на товары), а также собственный кэшбэк сервис. Купить с кешбеком можно в следующих магазинах: Читай-город, Буквоед, book24. А информация о промокодах доступна рядом с ценой от магазина и постоянно обновляется.
О книге
| Параметр | Значение |
|---|---|
| ISBN | 978-5-93700-278-5 |
| Автор(ы) | Миронов Андрей Михайлович |
| Вес | 0.52кг |
| Возрастные ограничения | 12 |
| Год издания | 2023 |
| Издатель | ДМК-Пресс |
| Кол-во страниц | 336 |
| Количество страниц | 336 |
| Обложка | мягкая обложка |
| Переплет | 70х100/16 клей |
| Переплёт | мягкий |
| Раздел | Пользование программами |
| Размеры | 16,30 см × 23,40 см × 1,80 см |
| Страниц | 336 |
| Тематика | ПО для проектирования и конструирования |
| Тираж | 100 |
| Формат | 70х100/16 клей |
Где купить (3)
Цена от 2115 руб до 2409 руб в 3 магазинах
Также рекомендуем ознакомиться с ценами на Яндекс.Маркет.
Похожие предложения вы можете найти в нашей подборке:
Книги: Программы и утилиты для цифровых устройств - издательство "ДМК-Пресс"
Книги: Программы и утилиты для цифровых устройств с ценой 1692-2538 р.
| Магазин | Цена | Наличие |
|---|---|---|
| book24 5/5 |
| обновлено 12.05.2025 |
| Буквоед 5/5 | Промокоды на скидку | обновлено 12.05.2025 |
| Читай-город 5/5 | 2409 Промокоды на скидку | обновлено 14.11.2024 |
| Avito 5/5 | Avito доставка позволит получить любой товар, не выходя из дома | |
| Магазин | Последняя известная цена | Обновлено |
|---|---|---|
| Яндекс.Маркет | 1527 | 27.06.2024 |
| Лабиринт | 2428 | 22.10.2024 |
| МАЙШОП | 1474 | 07.04.2024 |
Кэшбэк сервис СкидкаГИД
На сегодняшний день товар «Книга: Методы верификации программ (Миронов Андрей Михайлович); ДМК-Пресс, 2023» можно купить с кешбеком в 3 магазинах: book24, Буквоед, Читай-город
Кэшбэк – это возврат части денег, потраченных Вами в интернет-магазинах. Всего на нашем сайте более 500 магазинов, с многими из которых Вы наверняка уже знакомы. У каждого магазина свои условия. Кто-то возвращает процент от покупки, а кто-то фиксированную сумму.
Заказывайте он-лайн и получайте часть денег обратно, подробнее..
