О книге: Методы верификации программ (Миронов Андрей Михайлович); ДМК-Пресс, 2023
2161 р.
- Издатель: ДМК-Пресс
- ISBN: 978-5-93700-278-5
- Книги: Пользование программами
- ID:14092027
О книге
| Параметр | Значение |
|---|---|
| Автор(ы) | Миронов Андрей Михайлович |
| Издатель | ДМК-Пресс |
| Год издания | 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 |
| Обложка | мягкая обложка |
Где купить (3)
Цена от 2161 р. до 2161 р. в 3 магазинах
| Магазин | Цена | Наличие |
|---|---|---|
| Магазин | Последняя известная цена | Обновлено |
|---|---|---|
| Яндекс.Маркет | 1527 р. | 27.06.2024 |
| Лабиринт | 2428 р. | 22.10.2024 |
| МАЙШОП | 1474 р. | 07.04.2024 |
Предложения банков
| Компания | Предложение |
|---|
Описание
В книге излагаются вопросы моделирования и верификации (т.е. доказательства правильности) различных классов программ. Основные концепции и основанные на них подходы к верификации иллюстрированы примерами верификации различных программ. Для закрепления усвоения изложенного материала в книге приведено большое количество задач.
Книга предназначена для студентов высших учебных заведений, обучающихся по специальностям «теоретические основы информатики», «искусственный интеллект» и «информационная безопасность».
Смотри также о книге.
Отзывы (0)
Добавить отзыв
Зарегистрируйтесь и получайте бонусы за покупки!
Книги: Программы и утилиты для цифровых устройств - издательство "ДМК-Пресс"
iPhone SDK. Разработка приложений
от 239 р.
100 лучших программ для iPhone и iPad
от 339 р.
iPhone 5. Наглядное руководство
от 832 р.
Компьютер и ноутбук для любого возраста
от 131 р.