Для корректной работы этого сайта необходима поддержка JavaScript и "cookies" Вашим браузером. Подробнее

МЫ ПРИНИМАЕМ ЗАКАЗЫ ПО ТЕЛЕФОНАМ +7 (495) 374-94-88, 8(800) 775-80-36 (бесплатно для регионов) С 10:00 ДО 19:00
Здравствуйте, Гость! (Войти в систему)

Ваша корзина

В корзине 0 товаров на сумму
0 руб


Отложено: 0 товаров

Ваша корзина пуста.

Нажмите кнопку "В корзину" на интересующих вас товарах.

Лучшие товары раздела

Турбо Паскаль 7.0

Кореневская О.В.
51 руб

Самоучитель UML 2

Леоненков А.В.
195 руб

Лучшие книги недели

Древняя Русь в свете зарубежных источников - Джаксон Т.Н. - купить  книгу с доставкой

Древняя Русь в свете зарубежных источников

Джаксон Т.Н., Бибиков М.В
532 руб
Мир-система Модерна. Том 1. Капиталистическое сельское хозяйство и истоки европейского мира-экономики в XVI веке - Иммануэль Валлерстайн - купить  книгу с доставкой

Мир-система Модерна. Том 1

Иммануэль Валлерстайн
675 руб
Евреи, конфуцианцы и протестанты. Культурный капитал и конец мультикультурализма - Лоуренс Харрисон - купить  книгу с доставкой

Евреи, конфуцианцы и протестанты

Лоуренс Харрисон
388 руб
Феномены мозга - Бехтерев В. М. - купить  книгу с доставкой

Феномены мозга

Бехтерев В. М.
415 руб

Model checking. Верификация параллельных и распределенных программных систем + CD

Карпов Ю.Г.

Model checking. Верификация параллельных и распределенных программных систем + CD - Карпов Ю.Г. - купить  книгу с доставкой
BHV, твердый переплет, 2010

Код товара: 647444

ISBN: 978-5-9775-0404-1

Тип переплета: твердый переплет

Тираж книги: 1000

Формат книги: 70х100/16

Количество страниц: 560

Временно отсутствует
Чтобы оставить заявку, введите свой e-mail
0
Аннотация к книге "Model checking. Верификация параллельных и распределенных программных систем + CD":
В книге рассказывается о новых результатах в области верификации с помощью метода model checking и приводятся примеры приложений этого метода в самых разных областях. Рассматриваются проблема верификации, темпоральные логики, алгоритмы model checking для CTL и LTL, структуры Крипке как модели реагирующих систем, спецификация свойств реагирующих систем формулами темпоральной логики, бинарные решающие диаграммы, символьная верификация, количественный анализ систем и системы реального времени, а также применение фундаментальных идей алгоритма model checking в различных приложениях.
На прилагаемом компакт-диске находятся: инструкция по установке системы верификации Spin, методическое пособие по этой системе и описание курсовой работы по верификации нетривиальной системы логического управления с несколькими вариантами заданий.
Для студентов вузов, программистов и исследователей в области информатики