Официальный сайт издательства ДМК Пресс

Интернет-магазинdmkpress.help@gmail.com
+7 (499) 322-19-38

Пн-Пт: 10:00-19:00, Сб: до 17:00

Издание книгdmkpress@gmail.com  Пишите на email

В корзине нет ни одного товара
0 00

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

Доказательство корректности программ
1599.2RUB 1999 руб 1599.2 руб

Бумажное издание

Оглавление и отрывки из глав

Издание: Черно-белое
Оригинальное название: Оригинальный правообладатель:

MIT Press

Автор: К. Рустан М. Лейно
Перевод: Киселев А.
Научный редактор: Кондратьев Д.
Дата выхода: июнь 2024 года
Объем, стр: 522
ISBN: 978-5-97060-199-3
Формат: 165 * 235 мм
Бумага: офсетная
Обложка: Твердый переплет
Вес: 1100
1599.2RUB 1999 руб 1599.2 руб

Электронное издание

Оглавление и отрывки из глав

Издание: Черно-белое
Оригинальное название: Оригинальный правообладатель:

MIT Press

Автор: К. Рустан М. Лейно
Перевод: Киселев А.
Научный редактор: Кондратьев Д.
Дата выхода: июнь 2024 года
Объем, стр: 522
ISBN: 978-5-97060-199-3
  • Самовывоз м. Коломенская - завтра - Бесплатно
  • Доставка почтой по РФ - 7-28 дней - от 300 р.
    Доставка почтой за пределы РФ - 14-28 дней - от 1400 р.
  • Курьером по Москве - в течение 7 дней - 300 р.

Аннотация

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

Особенности книги:

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

Издание будет полезно студентам вузов, преподавателям, исследователям в области формальной верификации, а также сотрудникам компаний, применяющих дедуктивную верификацию на практике.

Оплата

Наш интернет-магазин работает только по предоплате!
Мы принимаем следующие виды оплаты:

  • Банковские карты
  • Яндекс.Деньги
  • Наличными через кассы и терминалы
  • WebMoney
  • Сбербанк Онлайн
  • Сбербанк смс-оплата
  • Альфа-клик
  • Интернет-банк Промсвязьбанк
  • QIWI Wallet
  • Доверительный платеж («Куппи.ру»)

Вы так же можете выбрать оплату по платежной квитанции и оплатить по ней покупку в отделении любого банка.
Юридические лица могут выбрать счёт на оплату.
Возврат денежных средств возможен в случаях:

  • Отсутствие книг на складе издательства более 14 дней с момента поступления оплаты;

Возврат не проводится в случаях:

  • Отказа покупателя от оплаченного заказа; по договоренности с покупателем возможна замена книг;

Для оформления возврата обращайтесь по электронной почте dmkpress.help@gmail.com.

Доставка:

Курьерская доставка по Москве в течение 7 дней после оплаты заказа.
Стоимость доставки:

  • При заказе до 3000 рублей – 300 рублей.
  • При заказе свыше 3000 рублей – бесплатно.

Самовывоз возможен в течение суток после оплаты.
Адрес для самовывоза:
115487, г. Москва, проспект Андропова, 38
Доставка почтой России: от 7 до 28 дней с момента оплаты заказа.
Стоимость доставки:

  • В пределах России – от 300 рублей
  • По миру – от 1400 рублей.
logo
logo
logo
Рейтинг
rate
rate
rate
rate
rate
0 из 0 отзывов
5
0
4
0
3
0
2
0
1
0

Для добавления комментария необходимо Войти или Зарегистрироваться.

Ещё в этом разделе

Методы верификации программ
БумагаPDF
999 руб
999 руб
Читаем Тьюринга

Петцольд Ч.

БумагаPDF
1099 руб
1099 руб
Инженерия требований

Халл Э., Джексон К., Дик Дж.

Бумага
899 руб
Хаос-инжиниринг

Розенталь К., Джонс Н.

БумагаPDF
1199 руб
1199 руб
Доверительное А/В-тестирование

Сюй Я., Тан Д., Кохави Р.

БумагаPDF
1199 руб
1199 руб
Основы юзабилити-тестирования
БумагаPDF
1799 руб
1799 руб

Наши хиты и бестселлеры

Электроника шаг за шагом
БумагаPDF
1499 руб
1499 руб
Подробное руководство по DAX

Феррари А., Руссо М..

БумагаPDF
2049 руб
2049 руб
Электричество шаг за шагом
БумагаPDF
1399 руб
1399 руб
Статистика без подвоха

Мескита И. Б., Фаулер Э.

БумагаPDF
1499 руб
1499 руб
PostgreSQL 15 изнутри
БумагаPDF
1749 руб
1749 руб

Готовятся к выходу

Осваиваем Биткойн. Третье изд.

Антонопулос А., Хардинг Д.

Бумага
1699 руб 1359.2 руб
1699 руб 1359.2 руб
Наглядная и дифференциальная геометрия и формы
Бумага
1999 руб 1599.2 руб
1999 руб 1599.2 руб
Нелинейные динамические системы и хаос
БумагаPDF
1999 руб 1599.2 руб
1999 руб 1599.2 руб
Как создать дракона

Нопфлер П., Нопфлер Дж.

Геометрическое моделирование. Второе изд.
БумагаPDF
1899 руб 1519.2 руб
1899 руб 1519.2 руб
Raspberry Pi 5. Официальное руководство для начинающих
Бумага
1499 руб 1199.2 руб
1499 руб 1199.2 руб
Доказательство корректности программ
Бумага
1999 руб 1599.2 руб
1999 руб 1599.2 руб
Цифровой синтез: RISC-V
БумагаPDF
1999 руб 1599.2 руб
1999 руб 1599.2 руб
Введение в статистическое обучение с примерами на Python

Джеймс Г., Уиттон Д., Хасти Т., Тибширани Р.

Бумага
2499 руб 1999.2 руб
2499 руб 1999.2 руб
ASP.NET Core в действии. Третье изд.
Бумага
2499 руб 1999.2 руб
2499 руб 1999.2 руб

Наши новинки

Изучаем Arduino Uno R4
БумагаPDF
1499 руб
1499 руб
Неизвестное Солнце. Расследование

Киричек Е. А., Панченко И. Е.

Бумага
2499 руб
PostgreSQL 16 изнутри
БумагаPDF
1849 руб
1849 руб
Мониторинг PostgreSQL

Лесовский А. В.

БумагаPDF
1949 руб
1949 руб
Scilab. Решение инженерных и математических задач

Алексеев Е. Р., Дога К. В., Чеснокова О. В.

БумагаPDF
1499 руб
1499 руб
Pешение трудных и увлекательных задач на Python
БумагаPDF
999 руб
999 руб
Закрыть
Закрыть
Ваш товар в корзине.
Перейти в корзину или продолжить покупки?
В корзину
Закрыть

Вход

Закрыть

Вход

Закрыть

Вход

Отправили код на ваш номер
Дождитесь звонка и введите 4 последние цифры номера
Код действует 10 минут

Закрыть

Регистрация

Пожалуйста, зарегистрируйтесь. Вы сможете: 👍
  • следить за историей и статусом заказов;
  • сохранять избранное;
  • не вводить повторно свои данные.
Нужно подтвердить. Пришлём код.
Телефон подтверждён.
В пароле должно быть: от 8 символов; цифры, латинские буквы, знаки препинания.
Войти, если уже регистрировались
Закрыть

Подтвердите номер телефона

Отправили код на номер
Дождитесь звонка и введите 4 последние цифры номера
Код действует 10 минут

Закрыть

Восстановление пароля

Через несколько минут на ваш почтовый ящик придет письмо со ссылкой на активацию аккаунта.
Закрыть