Методы верификации программ (Миронов Андрей Михайлович); ДМК-Пресс, 2023
- Издатель: ДМК-Пресс
- ISBN: 978-5-93700-278-5
EAN: 9785937002785
- Книги: Пользование программами
- ID:14092027
Где купить
Последняя известная цена от 1474 р. до 2428 р. в 6 магазинах
В данный момент у нас нет информации о наличии данного товара в магазинах.
Вы можете поискать его на других площадках:
Вы можете поискать его на других площадках:
| Магазин | Цена | Наличие |
|---|---|---|
| Магазин | Последняя известная цена | Обновлено |
|---|---|---|
| book24 | 2299 р. | 14.11.2025 |
| Лабиринт | 2428 р. | 22.10.2024 |
| МАЙШОП | 1474 р. | 07.04.2024 |
| Читай-город | 2299 р. | 14.11.2025 |
| Буквоед | 2299 р. | 14.11.2025 |
Описание
В книге излагаются вопросы моделирования и верификации (т.е. доказательства правильности) различных классов программ. Основные концепции и основанные на них подходы к верификации иллюстрированы примерами верификации различных программ. Для закрепления усвоения изложенного материала в книге приведено большое количество задач.
Книга предназначена для студентов высших учебных заведений, обучающихся по специальностям «теоретические основы информатики», «искусственный интеллект» и «информационная безопасность».
Смотри также о книге.
О книге
| Параметр | Значение |
|---|---|
| Автор(ы) | Миронов Андрей Михайлович |
| Издатель | ДМК-Пресс |
| Год издания | 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 |
| Обложка | мягкая обложка |
Отзывы (0)
Добавить отзыв
Зарегистрируйтесь и получайте бонусы за покупки!
Книги: Программы и утилиты для цифровых устройств - издательство "ДМК-Пресс"
Категория 1179 р. - 1768 р.
Книги: Программы и утилиты для цифровых устройств
Категория 1179 р. - 1768 р.