В корзине
товаров: 0

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

Нет в наличии

392,00 грн
Нашли книгу в другом интернет-магазине дешевле? Мы оплатим разницу!
На следующую покупку в нашем магазине вы получите:

скидку 23,52 грн

(6% от текущей покупки)

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

Кликните по изображению для просмотра в полном размере

Уменьшить
Увеличить

Больше изображений

  • Дополнительная информация
    • Артикул
    • 29453
    • EAN-13
    • 9785977504041
    • ISBN
    • 978-5-9775-0404-1
    • Издатель
    • BHV-СПб
    • Год издания
    • 2010
    • Количество страниц
    • 560
    • Автор
    • Карпов Юрий
    • Формат
    • 70х100/16
    В книге рассказывается о новых результатах в области верификации с помощью метода model checking и приводятся примеры приложений этого метода в самых разных областях. Рассматриваются проблема верификации, темпоральные логики, алгоритмы model checking для CTL и LTL, структуры Крипке как модели реагирующих систем, спецификация свойств реагирующих систем формулами темпоральной логики, бинарные решающие диаграммы, символьная верификация, количественный анализ систем и системы реального времени, а также применение фундаментальных идей алгоритма model checking в различных приложениях.

    На прилагаемом компакт-диске находятся: инструкция по установке системы верификации Spin, методическое пособие по этой системе и описание курсовой работы по верификации нетривиальной системы логического управления с несколькими вариантами заданий.

    Для студентов вузов, программистов и исследователей в области информатики.
  • Отзывы пользователей

    Что Вам понравилось в этой книге?

    Оцените ее *

    Оценка:

Comments

Условия действия прайс-матча в магазине «Читайка»:

  1. Исходные данные книги (название, автор, издательство, ISBN, год издания, формат, тип обложки, кол-во страниц) по ссылке на другой интернет-магазин и в "Читайке" должны быть идентичными.
  2. Можно указывать цены только украинских интернет-магазинов.
  3. Б/у и акционные книги в прайс-матче не участвуют.
  4. Специальное предложение является действительным, если книга по ссылке на другой магазин есть в наличии.
  5. Программа по начислению бонусов в «Читайка-клубе» остаётся актуальной!