Skip to product information
1 of 4

Андрей Миронов: Методы верификации программ

Андрей Миронов: Методы верификации программ

Regular price $61.00 USD
Regular price Sale price $61.00 USD
Sale Sold out
Shipping calculated at checkout.
В книге излагаются вопросы моделирования и верификации (т.е. доказательства правильности) различных классов программ. Основные концепции и основанные на них подходы к верификации иллюстрированы примерами верификации различных программ. Для закрепления усвоения изложенного материала в книге приведено большое количество задач. Книга предназначена для студентов высших учебных заведений, обучающихся по специальностям «теоретические основы информатики», «искусственный интеллект» и «информационная безопасность».
  • Страницы: 336
  • Бумага: Офсет
  • Издательство: ДМК-Пресс
  • ISBN: 978-5-93700-278-5
  • Год издания: 2023
  • Автор: Андрей Михайлович Миронов
  • Обложка: Мягкий переплёт
  • Иллюстрации: Черно-белые
  • Оформление: Черно-белые
  • Вес: 1.14 lb
View full details
Книга «Методы верификации программ» доступна для покупки в нашем интернет-магазине «Книжка US» по выгодной цене. Мы предлагаем доставку из России в США с использованием службы USPS, что занимает от 2-х недель до 30 дней. Каждый заказ сопровождается трек-номером для удобного отслеживания. Закажите книгу Андрей Михайлович Миронов «Методы верификации программ» и получите её прямо на ваш адрес. Мы гордимся тем, что являемся крупнейшим магазином русских книг в США, и всегда стремимся предложить нашим клиентам лучший сервис и широкий ассортимент. Следите за нашими акциями и специальными предложениями, чтобы сделать свои покупки ещё выгоднее.