Книга Model Checking. Верификация параллельных и распределенных программных систем (+ CD-ROM) - Юрий Глебович Карпов : купить по низкой цене
Наверх

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

Внимание! Уведомление о поступлении товара будет отправлено Вам один раз.

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

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

Автор: Юрий Глебович Карпов

Нет в продаже


Издательство: БХВ-Петербург (2010 г.)

Твердый переплет, 552 стр.

ISBN: 978-5-9775-0404-1

Тираж: 1000 экз.

Размер: 70x100/16 (170x240 мм)

Вес: 655 гр.

Поискать похожие книги
Другие издания этой книги

Внимание!
Сроки комплектации временно увеличены!
Краткое описание

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

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

Внешний вид книги Model Checking. Верификация параллельных и распределенных программных систем (+ CD-ROM) может отличаться от изображения товара на сайте!

Лидеры продаж
Отзывы (Ваш отзыв будет первым)

Ваше мнение очень интересно, но чтобы оставить свой отзыв, пожалуйста, зарегистрируйтесь