Меню

Методы верификации программ (Миронов Андрей Михайлович); ДМК-Пресс, 2023

  • Издатель: ДМК-Пресс
  • ISBN: 978-5-93700-278-5

  • EAN: 9785937002785

  • Книги: Пользование программами
  • ID: 14092027
Купить Купить в кредит

Описание Характеристики (17) Цены (6) Отзывы (0)

Описание

В книге излагаются вопросы моделирования и верификации (т.е. доказательства правильности) различных классов программ. Основные концепции и основанные на них подходы к верификации иллюстрированы примерами верификации различных программ. Для закрепления усвоения изложенного материала в книге приведено большое количество задач.

Книга предназначена для студентов высших учебных заведений, обучающихся по специальностям «теоретические основы информатики», «искусственный интеллект» и «информационная безопасность».

Характеристики (17)


ПараметрЗначение
Автор(ы)
ИздательДМК-Пресс
Год издания2023
Кол-во страниц336
РазделПользование программами
ISBN978-5-93700-278-5
Количество страниц336
Формат70х100/16 клей
Вес0.52кг
Возрастные ограничения12
Переплет70х100/16 клей
Страниц336
Переплётмягкий
Размеры16,30 см × 23,40 см × 1,80 см
ТематикаПО для проектирования и конструирования
Тираж100
Обложкамягкая обложка


Сравнить цены (6)

Цена от 646 грн. до 1065 грн. в 6 магазинах

МагазинЦенаНаличие
Bookovka UA
5/5
«Буковка» – це в першу чергу високий асортимент якісних книг відомих видань

Купить в кредит (2)


Компания Предложение
Prostocredit

Сума: від 500 до 6500 грн. Срок: 90 днів з наявністю пільгового періоду від 3 до 30 днів під знижену % ставку (з можливістю пролонгації пільгового кредиту необмеженої кількості раз) Процентна ставка: Пільгова 1,7%, Базова 2% Робота 24/7: заявки на кредит, видача кредиту

Aviracredit

Aviracredit - Онлайн кредит на картку до 6300 грн. Швидке рішення щодо заявки, гарний рівень узгодження заявок. Розмір виплати за перший виданий кредит - 227 грн.

Полезные онлайн-сервисы


Компания Предложение

Отзывы (0)


Зарегистрируйтесь и получайте бонусы за покупки!



⬆ ❤ закладки (0) ✔ сравнение (0)