Методы верификации программ
Описание
В книге излагаются вопросы моделирования и верификации (т.е. доказательства правильности) различных классов программ. Основные концепции и основанные на них подходы к верификации иллюстрированы примерами верификации различных программ. Для закрепления усвоения изложенного материала в книге приведено большое количество задач.
Книга предназначена для студентов высших учебных заведений, обучающихся по специальностям «теоретические основы информатики», «искусственный интеллект» и «информационная безопасность».
Книга предназначена для студентов высших учебных заведений, обучающихся по специальностям «теоретические основы информатики», «искусственный интеллект» и «информационная безопасность».
Характеристики
| author: | Миронов Андрей Михайлович |
| binding: | 70х100/16 клей |
| ISBN: | 978-5-93700-278-5 |
| page_extent: | 336 |
| publisher: | ДМК Пресс |
| Type: | book |
| year: | 2023 |
График изменения цены & курс обмена валют
Пользователи также просматривали
3,034.64 руб.
1,5 тонн, с ручкой, портативный аварийный инструмент, практичный стальной домкрат, домкрат для шин, инструмент для ремонта автомобиля, MPV, автомобиля, внедорожника, грузовика
aliexpress.ru
2,102.34 руб.
Платье Neploe женское кружевное с квадратным вырезом, милое облегающее Сетчатое ТРАПЕЦИЕВИДНОЕ ПЛАТЬЕ с рукавами-фонариками, Y2k, лето
aliexpress.ru
516.69 руб.
Mokoko Lost Ark Shopping Bag Women Canvas Tote Bags Eco Cartoon Shopper Shoulder Bags
aliexpress.ru
5,487.91 руб.
2021, аккумулятор LiFePO4 32700, сбалансированный BMS 4s3p, для электрической лодки и ИБП 12,8 В 25 Ач и 4S 40 А 12 В LiFePO4
aliexpress.ru
3,945.93 руб.
Индивидуальные платья для выпускного вечера с квадратным воротником и пышными рукавами, короткие вечерние платья для банкета и выпускного вечера, плиссированные платья для свадебной вечеринки, простые выпускные платья
aliexpress.ru
732.58 руб.
Летняя сумка для обеда с фруктами, лимоном и средиземноморской плитки, водонепроницаемый холодильник, термоизолированный ланч-бокс для женщин и детей, сумки для еды
aliexpress.ru
1,161.95 руб.
Ношенные толстовки с логотипом Cyberdyne (черные) с длинным рукавом Cyberdyne Cyberdyne Logo Terminator The Terminator Terminator 2
aliexpress.ru
1,861.38 руб.
Ящик для ключей Настенный большой ящик для ключей Безопасный водонепроницаемый уличный ящик для ключей с 12-кодом Нержавеющий устойчивый к атмосферным воздействиям сверхпрочный ключ
aliexpress.ru
902.39 руб.
Женское платье-комбинация на бретелях-спагетти в стиле бохо, Летнее Длинное платье с цветочным рисунком для коктейлей
aliexpress.ru
3,061.33 руб.
Скатерть из водонепроницаемой ткани с изображением свежего сельского цветка, маслостойкая и моющаяся Прямоугольная форма
aliexpress.ru
1,352.77 руб.
Внешняя торговля 2020, международная торговля, электронная коммерция, новая осенне-зимняя уличная куртка, мужской спортивный пуловер с капюшоном, мешковатое пальто
aliexpress.ru
1,615.57 руб.
Бесплатная доставка, 100 шт./лот, розовый 20x30 см, рождественские и свадебные подарочные сумки, подарочные пакеты для ювелирных изделий
aliexpress.ru
235.30 руб.
Бесшумный RGB светодиодный воздушный Процессор кулер вентилятор настольный компьютер радиатор Radiato красочные кулер вентилятор охлаждения для Intel 115X AMD 10x10x2.5cm
aliexpress.ru
1,050.36 руб.
MTB Bicycle Taillight Super Bright USB Battery Rechargeable Waterproof Bike Rear Flasing Light
aliexpress.ru
462.51 руб.
new my hero academy doodle stickers season 3 waterproof luggage notebook scooter sticker
dhgate.com
825.29 руб.
Детские зимние угги для девочки с ушками черные, розовые Теплые детские угги в пайтках Размер 24-31 30
prom.ua
1,032.57 руб.
Мягкая нагрудная шлейка для собак с микрорегулировкой Ferplast Agila Reflex 5-9 (Ферпласт Агила Рефлекс 5-9) 8 размер - A = B 69 ÷ 77 см 20 мм - max 30 кг, Оранжевый
prom.ua
320.20 руб.
Gear Figure Retro Decorations Vintage Industrial Hanging Wall Ornament Office Home
aliexpress.com
1,972.96 руб.
Dumia Snow Trace Secret Language Vinyl Plush Blind Box Cute Shoulder Bag Crossbody Bag Mystery Box Girl Surprise Customized Gift
aliexpress.com
191.64 руб.
3 Boxes Mica Marble Sequins Nail Art Decor Manicure Accessories Glitter Paillettes 3D Seashell Slices For Diy Crafts Phone Cases
aliexpress.com
1,039.85 руб.
Funny Cat Shower Curtain Cartoon Cute Bath Cats Dog Kids Shower Curtain Waterproof Fabric for Home Decoration Bathroom Curtains
aliexpress.com
