Доказательство корректности программ

Name: Доказательство корректности программ
Brand: ДМК Пресс
SKU: 3713709
Price: 15223 KZT
Availability: InStock

К. Рустан, М. Лейно

15 223 ₸

Отправим 24 июня

Планируемая дата поступления на склад — это ориентировочная дата отправки товара с нашего склада в Ваш город, при условии оформления заказа сейчас.

Подробнее о сроках доставки до Вашего города.

Продавец Flip

💳 Оплатить за товар можно при получении
🇰🇿 Есть бесплатная доставка по Казахстану от 1 дня
🎁 Копите бонусы с каждой покупки

Детальная информация

Развернуть ↓Свернуть ↑

Издательство

ДМК Пресс

Бумага

офсетная

ISBN

978-5-93700-199-3

Количество страниц

530

Высота издания

235 мм

Ширина издания

165 мм

Код товара

3713709

Описание

Данная книга учит формально рассуждать о компьютерных программах, используя последовательный подход и язык программирования Dafny, поддерживающий верификацию. Показано, как писать спецификации для программ, как удовлетворить требования этих спецификаций и как писать доказательства корректности программ относительно спецификаций. Автор сначала представляет теоретические предпосылки, лежащие в основе рассуждений о программном коде, а затем постепенно переходит к реальным примерам, использующих объекты, структуры данных и нетривиальную рекурсию.

Особенности книги:
• написана простым и понятным языком;
• постепенно вводит все более сложные понятия;
• наглядно демонстрирует, как писать доказательства, а также как определять и верифицировать функциональные и императивные программы;
• приводит примеры программного кода на реальном языке программирования, а не псевдокоде;
• содержит забавные иллюстрации и обучающие упражнения.

Развернуть ↓Свернуть ↑

Издательство

ДМК Пресс, Россия
В 1992 году появилась на свет компания «ДМК Пресс», изначально основанная как книготорговая фирма, фокусирующаяся на предоставлении качественной литературы в области компьютерных технологий и радиотехники. С тех пор она прошла долгий путь развития, превратившись в одно из ведущих издательств с широким спектром направлений. Одной из отличительных черт «ДМК Пресс» является постоянное стремление к инновациям и следование современным тенденциям. Это проявляется не только в разнообразии...