Интернет-магазин My-shop.ru
Персональный раздел v
   Доставка    Оплата    Скидки    Форум    Помощь
для Москвы  +7 (495) 638-53-38
бесплатно для РФ  +7 (800) 100-53-38
 
0
Система автоматического поиска инварианта цикла. Проблема, анализ и реализация

Система автоматического поиска инварианта цикла. Проблема, анализ и реализация

Авторы/составители: Шипов Андрей, Кораблин Юрий
Издательство: OmniScriptum GmbH & Co. KG

Задача верификации программного обеспечения становится сегодня все более востребованной, так как сложность программных систем с каждым днем постоянно растет, и мы все больше сталкиваемся с теми или иными сбоями в их работе. Инвариантом в программировании называется логическое выражение, зависящее от переменных в теле цикла и истинное, как перед его выполнением, так и после. Знание инварианта для конкретного цикла позволяет выполнить проверку на корректность его работы. В данной книге делается попытка разработки такой программной системы, которая позволила бы реализовать автоматический поиск инвариантов для конкретно заданных циклов и частично автоматизировать процесс верификации программ. Данная книга будет интересна и полезна, как опытным программистам, так и тем, кто просто интересуется проблемой верификации программного обеспечения.

Эта книга будет изготовлена в соответствии с Вашим заказом по технологии Print-on-Demand компанией ООО «Книга по Требованию». Print-on-Demand - это технология печати книг по Вашему заказу на цифровом типографском оборудовании. Книга, напечатанная по технологии Print-on-Demand, представляет собой классический «евро-покет» с соблюдением всех стандартов качества, от офсетной бумаги и плотного картона до качественного клея, используемого при изготовлении.

Информация о материалах, используемых при печати:
- бумага - офсетная (белая), 80 г/м;
- обложка - цветная мягкая (картон 250-300 г/м);
- текстовый блок (включая иллюстрации) - черно-белый;
- скрепление блока - КБС (по стандарту современных «pocket-books»).

Заказ обрабатывается в индивидуальном порядке: каждой книге, напечатанной по технологии Print-on-Demand, присваивается уникальный номер.

6 450 руб.
в наличии*
планируемая дата доставки: 30.05.2019 (Чт.)
шт.
отложить
Бестселлеры раздела...