Все товары
Введение в формальные методы верификации программ
50,40 р. –
9%
Вы экономите 4,99 р.
Ваша скидка 9%
55,39 р.
В наличии у поставщика. Поставка 17 января 2026
Верификацией называется процесс проверки соответствия программы требованиям (выяснения, является программа правильной или ошибочной). Данная книга посвящена важнейшему классу методов верификации – формальным методам и включает 15 лекций, сопровождаемых вопросами для самопроверки и упражнениями.
В числе рассматриваемых тем:
- обзор базовых методов верификации;
- дедуктивный анализ программ;
- проверка моделей;
- использование формальных методов в тестировании.
Издание будет полезно программистам, студентам и аспирантам, а также преподавателям и исследователям в области информатики и вычислительной техники.
Желательно знание основ дискретной математики и математической логики.
Фотографии покупателей
Мобильное приложение OZ
Мобильное приложение OZ работает как бонусная карта. Получайте бонусные баллы и повышайте свой кешбэк, совершая покупки в приложении и в розничных магазинах. При оформлении заказа в приложении доставка в выбранный вами магазин бесплатная.
Преимущества приложения
- Покупайте товары через приложение, копите бонусные баллы и оплачивайте ими до 20% стоимости покупки.
- При покупке в магазинах OZ просто покажите продавцу экран "Мой кешбэк" с QR-кодом для списания или начисления бонусных баллов.
- Узнавайте о скидках, уникальных акциях и распродажах.
- Публикуйте отзывы на товары с фотографиями.
- Покупки в магазинах, сделанные через приложение, участвуют в бонусной программе, общей с интернет-магазином OZ.by.
Купите комплект
Введение в формальные методы верификации программ
А. Камкин, 2024
61,52 р.
за комплект
Вы экономите 7,77 р.
Ваша скидка 11%
69,29 р.
Вам может понравиться
| Товар из подборки | Сувениры для программистов |
| Издательство | ДМК |
| Год издания | 2024 |
| Страниц | 304 |
| Переплет | Твердый переплет |
| Формат (ширина)х(высота) | Увеличенный 170×(215–260) |
| Размер издания | 165x235 мм |
| Бумага | Офсет |
| ISBN | 978-5-93700-340-9 |
| Гриф | Нет |
| Изготовитель | ООО "Издательство ДМК Пресс". 105094, РФ, г. Москва, Семеновская наб., д. 3/1-4-113 |
| Импортер | ООО «Приносим радость», 220073, г. Минск, ул. Скрыганова, д. 14, каб. 36. |
| Доставка | Самовывоз — бесплатно. Курьером по Минску — 3,99 р., бесплатно при заказе от 100,00 р. Срок доставки устанавливается после оформления заказа. Подробнее о видах доставки, доступных в вашем населенном пункте, — в разделе «Виды доставки». |
| Все параметры | |
Отзывов нет
Сначала полезные
Сначала новые
Cреди ваших покупок нет этого товара. Вы можете оставлять отзывы только к товарам, которые покупали на OZ.by
Напишите отзыв о книге или задайте вопрос
- Оставить отзыв
- Задать вопрос
Вам запрещено оставлять комментарии