flip.kz / Книги / Компьютеры и Интернет / Интернет. Web-технологии / Разное

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

Ю. Г. Карпов

В данный момент этот товар отсутствует в продаже.
Возможно, у нас найдется аналогичный или похожий товар здесь.

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

Детальная информация
Издательство
BHV, 2010 г.
Переплет
Твердый переплет, 560 страниц
Формат книги
70x100/16
Размер (в x ш)
170 x 240 (большая)
ISBN
978-5-9775-0404-1
Тираж
1000 экз.
Язык
Русский
Код товара
127901
Авторы

, все книги

Доктор технических наук, профессор, заведующий кафедрой «Распределенные вычисления и компьютерные сети» факультета технической кибернетики Санкт-Петербургского государственного политехнического университета (с основания кафедры в 1995 году). Член Американского Математического общества и IEEE.
Разделы товара
Информация
Данного товара сейчас нет в наличии
Возможно, у нас найдется аналогичный или похожий товар здесь.