- Руководства по пользованию программами
- Программирование
- Операционные системы и утилиты для ПК
- Интернет
- Графика. Дизайн. Проектирование
- Железо ПК
- Информатика
- Сети и коммуникации
- Бухгалтерия
- Базы данных
- Анализ данных
- Электронная бухгалтерия
- Машинное обучение. Анализ данных
- Менеджмент в IT
Методы верификации программ (А. М. Миронов); ДМК Пресс, 2023
от 1154 до 2299
Издатель: ДМК-Пресс
ISBN: 978-5-93700-278-5
EAN: 9785937002785
Книги: Пользование программами
ID: 14092027
Добавлено: 11.01.2024
Описание
В книге излагаются вопросы моделирования и верификации (т.е. доказательства правильности) различных классов программ. Основные концепции и основанные на них подходы к верификации иллюстрированы примерами верификации различных программ. Для закрепления усвоения изложенного материала в книге приведено большое количество задач.
Книга предназначена для студентов высших учебных заведений, обучающихся по специальностям «теоретические основы информатики», «искусственный интеллект» и «информационная безопасность».
Смотри также о книге.
СкидкаГИД инфо +
Сервис сравнения цен СкидкаГИД предлагает сравнить цены на товар «Книга: Методы верификации программ (А. М. Миронов); ДМК Пресс, 2023»
По данным нашего сервиса товар предлагался к продаже в 7 магазинах. На сегодняшний день доступен в 4 магазинах: Читай-город, Буквоед, book24, ЛитРес. По цене от 1154 р. до 2299 р., средняя цена составляет 2013 р., а самая низкая цена в магазине ЛитРес. В случае, если для вас на данный момент цена слишком высока, вы можете воспользоваться сервисом «Сообщить о снижении цены» - мы оповестим вас как только цена опустится до желаемого значения. Но будьте внимательны, используя сервис «История цены» можно спрогнозировать в какую сторону изменяется цена, возможно сейчас самое время для покупки.
Кроме сервиса сравнеция цен, наш сайт также позволяет экономить еще двумя способами: промокодный сервис (информация о промокодах, а также скидки и акции на товары), а также собственный кэшбэк сервис. Купить с кешбеком можно в следующих магазинах: Читай-город, Буквоед, 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 клей |
| Форматы электронной версии |
Где купить (4)
Цена от 1154 руб до 2299 руб в 4 магазинах
Похожие предложения вы можете найти в нашей подборке:
Книги: Программы и утилиты для цифровых устройств - издательство "ДМК-Пресс"
Книги: Программы и утилиты для цифровых устройств с ценой 923-1384 р.
| Магазин | Цена | Наличие |
|---|---|---|
| ЛитРес 5/5 | обновлено 12.04.2026 | |
| book24 5/5 | обновлено 14.11.2025 | |
| Яндекс.Маркет 5/5 | 1527 Промокоды на скидку | обновлено 27.06.2024 |
| Читай-город 5/5 | 2299 Промокоды на скидку | обновлено 14.11.2025 |
| Буквоед 5/5 | Промокоды на скидку | обновлено 14.11.2025 |
| Яндекс.Маркет 5/5 | Промокоды на скидку | |
| Магазин | Последняя известная цена | Обновлено |
|---|---|---|
| Лабиринт | 2428 | 22.10.2024 |
| МАЙШОП | 1474 | 07.04.2024 |
Кэшбэк сервис СкидкаГИД
На сегодняшний день товар «Книга: Методы верификации программ (А. М. Миронов); ДМК Пресс, 2023» можно купить с кешбеком в 5 магазинах: ЛитРес, book24, Яндекс.Маркет, Читай-город, Буквоед
Кэшбэк – это возврат части денег, потраченных Вами в интернет-магазинах. Всего на нашем сайте более 500 магазинов, с многими из которых Вы наверняка уже знакомы. У каждого магазина свои условия. Кто-то возвращает процент от покупки, а кто-то фиксированную сумму.
Заказывайте он-лайн и получайте часть денег обратно, подробнее..
Книги: Программы и утилиты для цифровых устройств - издательство "ДМК-Пресс"
Пользование программами - издательство "ДМК-Пресс" »
Книги: Программы и утилиты для цифровых устройств
Категория 923 р. - 1384 р.
