- Книги
- Учебная литература
- Подарки, сувениры
- Канцтовары, школа
- Творчество, хобби
- Косметика, парфюмерия
- Настольные игры
- Дом, сад, зоотовары
- Сладости, напитки
- Детям и мамам
- Спорт, отдых, туризм
-
Магазины OZ
-
Беларусь
-
В книге излагаются вопросы моделирования и верификации (т.е. доказательства правильности) различных классов программ. Основные концепции и основанные на них подходы к верификации иллюстрированы примерами верификации различных программ. Для закрепления усвоения изложенного материала в книге приведено большое количество задач.
Книга предназначена для студентов высших учебных заведений, обучающихся по специальностям "теоретические основы информатики", "искусственный интеллект" и "информационная безопасность".
Мобильное приложение OZ работает как бонусная карта. Получайте бонусные баллы и повышайте свой кешбэк, совершая покупки в приложении и в розничных магазинах. При оформлении заказа в приложении доставка в выбранный вами магазин бесплатная.
Бонусная программа действует на сайте OZ.by, в приложении и магазинах OZ.
Для установки и корректной работы приложения требуется Android 7 и выше или iOS 14 и выше.
Условия бонусной программыТовар из подборки | Сувениры для программистов |
Издательство | ДМК |
Год издания | 2023 |
Страниц | 200 |
Переплет | Мягкая обложка |
Формат | 70х100/16 (170х240 мм, увеличенный) |
ISBN | 978-5-93700-278-5 |
Вес | 400 г |
Возрастные ограничения | 16+ |
Изготовитель | ООО "Издательство ДМК Пресс". 105094, РФ, г. Москва, Семеновская наб., д. 3/1-4-113 |
Импортер | ООО «Приносим радость», 220073, г. Минск, ул. Скрыганова, д. 14, каб. 36. |
Доставка | Самовывоз — бесплатно. Курьером по Минску — 3,99 р., бесплатно при заказе от 100,00 р. Срок доставки устанавливается после оформления заказа. Подробнее о видах доставки, доступных в вашем населенном пункте, — в разделе «Виды доставки». |
Все параметры
|
Мы используем файлы cookie для обеспечения удобства работы с сайтом и его контакта с пользователем.
Нажимая кнопку «Принять», вы даете согласие на обозначенные действия в соответствии с Политикой в отношении обработки cookie.