Описание
Методы верификации программ
Артикул Маркета
5773894526
Внешний вид товаров и/или упаковки может быть изменён изготовителем и отличаться от изображенных на Яндекс Маркете.
Пэй
77 952 ₽
–41%
–200 ₽
С доставкой по клику
Заказ от 1500₽
Пэй
77 952 ₽
–41%
Доставка Маркета
10 окт, по клику 0 ₽
Москва
10 окт, пункт выдачи 0 ₽
Москва
14 дней на возврат
О возвратах
Oldfashioned
Магазин
568заказов
145подписчиков
4года на Маркете
О товаре
Описание
В книге излагаются вопросы моделирования и верификации (т. е. доказательства правильности) различных классов программ. Основные концепции и основанные на них подходы к верификации иллюстрированы примерами верификации различных программ. Для закрепления усвоения изложенного материала в книге приведено большое количество задач. Книга предназначена для студентов высших учебных заведений, обучающихся по специальностям «теоретические основы информатики», «искусственный интеллект» и «информационная безопасность». Также она представляет интерес для специалистов в данных областях.
Характеристики
Общие характеристики
Артикул Маркета
5773894526
Дополнительные характеристики
Внешний вид товаров и/или упаковки может быть изменён изготовителем и отличаться от изображенных на Яндекс Маркете.Возрастное ограничение 18+
Нет отзывов и оценок
Но можно задать вопрос, чтобы узнать о товаре больше
Рекомендуем
![Как помочь тревожному ребенку [Цифровая книга]](https://avatars.mds.yandex.net/get-mpic/20906832/picd4f4fcaf6c769399d97c6107e1f29bd7/orig)
![Врач-попаданка. Меня сделали женой пациента [Цифровая книга]](https://avatars.mds.yandex.net/get-mpic/6462174/2a0000019f91fea0ba6612db00ef7f7cb63e/orig)
Цена с картой Яндекс Пэй 82 ₽ вместо
Пэй
Цена с картой Яндекс Пэй 12091 ₽ вместо
Пэй
![Площадь на колесах [Цифровая книга]](https://avatars.mds.yandex.net/get-mpic/16485002/2a0000019f3a6fc5445cdf33112be80ffa7a/orig)
![Пэчворк в полоску. Традиционные блоки, эффектные орнаменты. 11 мастер-классов по лоскутному шитью [Цифровая книга]](https://avatars.mds.yandex.net/get-mpic/19040616/2a0000019f276e7671ad12ceb8324e53b93c/orig)
Цена с картой Яндекс Пэй 310 ₽ вместо
Пэй
![Звёздная кровь-11. Колония Альфа [Цифровая книга]](https://avatars.mds.yandex.net/get-mpic/19895571/2a0000019f1e7939a3c6fc821b8575da2b1b/orig)
![Судьбы простых китайцев. Уровень 4 [Цифровая книга]](https://avatars.mds.yandex.net/get-mpic/20442030/2a0000019e839b5498cad38f1359dbefe140/orig)
![ОГЭ по химии на высокий балл. Визуальный курс: комиксы, задания и ментальные карты. Книга 1 из серии «С Вероникой к успеху» [Цифровая книга]](https://avatars.mds.yandex.net/get-mpic/20034662/2a0000019e486fc4dfb6632d66ca0769941a/orig)
Цена с картой Яндекс Пэй 207 ₽ вместо
Пэй
![Читаем по слогам. Обучение чтению [Цифровая книга]](https://avatars.mds.yandex.net/get-mpic/18123760/2a0000019e2226782d26abd38246902a5463/orig)
![Быстрый старт в музыке: таппинг, якоря, гипноз [Цифровая книга]](https://avatars.mds.yandex.net/get-mpic/20434820/2a0000019d282adbf82be5218b1c71e8fda2/orig)
Цена с картой Яндекс Пэй 71 ₽ вместо
Пэй
![Трекер питания. 52 привычки, которые навсегда изменят ваши отношения с едой [Цифровая книга]](https://avatars.mds.yandex.net/get-mpic/20488668/2a0000019d1c247849cb9cfea4868810b8a7/orig)
Цена с картой Яндекс Пэй 166 ₽ вместо
Пэй
![Какая удача! Кто знает эти секреты, тому везет в жизни и бизнесе [Цифровая книга]](https://avatars.mds.yandex.net/get-mpic/17648084/2a0000019ce03fc28bcbd119f35c9e2f9675/orig)
Цена с картой Яндекс Пэй 207 ₽ вместо
Пэй
![Зов Волка. Я иду искать [Цифровая книга]](https://avatars.mds.yandex.net/get-mpic/18717248/2a0000019c6ec2f88f45ff74712dc7da139e/orig)
![Диета при подагре: полное руководство. Стоп-лист продуктов, вкусное меню, рецепты и научные рекомендации для снижения мочевой кислоты [Цифровая книга]](https://avatars.mds.yandex.net/get-mpic/4343038/2a0000019c07a83ae3410cdfc7e3a2fca57c/orig)
Цена с картой Яндекс Пэй 102 ₽ вместо
Пэй
![Лучший секс для женщин. Идеальный секс с женской точки зрения [Цифровая книга]](https://avatars.mds.yandex.net/get-mpic/18101112/2a0000019b5376b6b56d81fd9d312cb37365/orig)
Цена с картой Яндекс Пэй 205 ₽ вместо
Пэй
![«Понаехали»: грамматика русского языка для узбеков (RUS-UZB) [Цифровая книга]](https://avatars.mds.yandex.net/get-mpic/12623147/2a0000019b231a0b840e613d2c933e189c06/orig)
Цена с картой Яндекс Пэй 102 ₽ вместо
Пэй
Цена с картой Яндекс Пэй 424 ₽ вместо
Пэй
Цена с картой Яндекс Пэй 120 ₽ вместо
Пэй
![Как научить ребёнка читать за 3 часа. Букварь-тренажер для детей 4-6 лет [Цифровая книга]](https://avatars.mds.yandex.net/get-mpic/12152435/2a0000019b78b0be5518bcedf9a557548fb2/orig)
Цена с картой Яндекс Пэй 124 ₽ вместо
Пэй
![Морской корпус Петра Великого. 320 лет на службе Отечеству [Цифровая книга]](https://avatars.mds.yandex.net/get-mpic/11213128/2a0000019b5376915f6e349724cc84178656/orig)
Цена с картой Яндекс Пэй 1286 ₽ вместо
Пэй
![Доказательная психосоматика со справочником. Факты и научный подход. Очень полезная книга для всех, кто думает о здоровье [Цифровая книга]](https://avatars.mds.yandex.net/get-mpic/11740777/2a0000019d65ec2f0808258c9e588eca3bc6/orig)
Цена с картой Яндекс Пэй 325 ₽ вместо
Пэй
![Международное уголовное право. Аттестационные тесты с ответами [Цифровая книга]](https://avatars.mds.yandex.net/get-mpic/15415971/2a000001988bc27f7c2bbe43ff23e1f51890/orig)
Цена с картой Яндекс Пэй 155 ₽ вместо
Пэй
![Защита информации от утечки по техническим каналам [Цифровая книга]](https://avatars.mds.yandex.net/get-mpic/17657724/2a0000019b78a2eb59fed9f1c92d0c0f1649/orig)
Цена с картой Яндекс Пэй 109 ₽ вместо
Пэй
![Как помочь и не навредить: Практическое руководство для психологов [Цифровая книга]](https://avatars.mds.yandex.net/get-mpic/18104832/2a0000019f91f19b68d1ea8e149f5daaa130/orig)
Цена с картой Яндекс Пэй 76 ₽ вместо
Пэй
Войдите в аккаунтИ тогда откроется корзина, а цены на Маркете могут стать ниже
