Методы верификации программ ДМК 978-5-93700-278-5
Цена: 1527 руб.
Категория: Компьютеры и Интернет
| Цены на книгу в магазинах: | ||
 | books.ru | - 1527 руб. 0% |
| book24 RU | - 2409 руб. 0% |
| Буквоед | - 2409 руб. 0% |
| Читай-город | - 2409 руб. 0% |
| Лабиринт | - 3091 руб. 0% |
В книге излагаются вопросы моделирования и верификации (т.е. доказательства правильности) различных классов программ. Основные концепции и основанные на них подходы к верификации иллюстрированы примерами верификации различных программ. Для закрепления...
Издательство: ДМК
ISBN: 978-5-93700-278-5
Объем: 336
Формат: мягкая обложка
Год: 2023
Электронная: Нет
подробнее...
ISBN: 978-5-93700-278-5
Объем: 336
Формат: мягкая обложка
Год: 2023
Электронная: Нет
подробнее...
Комментарии, отзывы о "Методы верификации программ":
Добавить первый отзыв ...
Посетители интересовались:
