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

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

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

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

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

Введение в формальные методы верификации программ

Введение в формальные методы верификации программ
799.2RUB 999 руб 799.2 руб

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

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

Издание: Черно-белое
Автор: Камкин А.
Дата выхода: ноябрь 2024 года
Объем, стр: 304
ISBN: 978-5-93700-340-9
Формат: 165 * 235 мм
Бумага: офсетная
Обложка: Твердый переплет
Вес, г: 600
799.2RUB 999 руб 799.2 руб

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

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

Издание: Черно-белое
Автор: Камкин А.
Дата выхода: ноябрь 2024 года
Объем, стр: 304
ISBN: 978-5-93700-340-9
Перейти на страницу книги
  • Самовывоз м. Коломенская - завтра - Бесплатно
  • Доставка почтой по РФ - 7-28 дней - от 300 р.
    Доставка почтой за пределы РФ - 14-28 дней - от 1400 р.
  • Курьером по Москве - в течение 7 дней - 300 р.

Аннотация

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

В числе рассматриваемых тем:

  • обзор базовых методов верификации;
  • дедуктивный анализ программ;
  • проверка моделей;
  • использование формальных методов в тестировании.

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

Оплата

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

  • Банковские карты
  • Яндекс.Деньги
  • Наличными через кассы и терминалы
  • 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
1149 руб
1149 руб
Инженерия требований

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

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

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

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

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

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

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

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

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

БумагаPDF
2149 руб
2149 руб
Цифровой синтез: RISC-V
БумагаPDF
2099 руб
2099 руб
PyCharm: профессиональная работа на Python
Бумага
1999 руб
1999 руб

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

Как мы без этого жили?
Бумага
799 руб 639.2 руб
799 руб 639.2 руб
Введение в формальные методы верификации программ
Бумага
999 руб 799.2 руб
999 руб 799.2 руб
Power Query и язык М. Подробное руководство

Деклер Г., Гроот Р., Корте М.

БумагаPDF
2499 руб 1999.2 руб
2499 руб 1999.2 руб
Apache Iceberg. Полное руководство

Ширан Т., Хьюз Дж., Мерсед А.

БумагаPDF
1699 руб 1359.2 руб
1699 руб 1359.2 руб

Наши новинки

Postgres. Первое знакомство. Версия 16

Лузанов П., Рогов Е., Лёвшин И.

Бумага
199 руб
Этика без дураков
БумагаPDF
999 руб
999 руб
Django 5 в примерах
БумагаPDF
2799 руб
2799 руб
Осваиваем MongoDB 7.0

Алексендрич М., Боруцки А., Домингес Л.

БумагаPDF
1999 руб
1999 руб
Графовые нейронные сети на Python

Лабонн М., Груздев А.В.

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

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

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

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

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