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

  • Издатель: БХВ
  • ISBN: 978-5-9775-0404-1
  • Книги: Программирование
  • ID:2171155
Где купить

О книге


ПараметрЗначение
Автор(ы)
Переплет70х100/16
ИздательБХВ
Год издания2010
Страниц552
Переплёттвердый
ISBN978-5-9775-0404-1
Размеры24,00 см × 17,00 см × 3,00 см
Формат70х100/16
ТематикаТекстовые редакторы
Тираж1000


Где купить

Последняя известная цена от 399 р. до 920 р. в 3 магазинах

В данный момент у нас нет информации о наличии данного товара в магазинах.
Вы можете поискать его на других площадках:

МагазинЦенаНаличие
Яндекс.Маркет
5/5
Промокоды на скидку
Avito доставка позволит получить любой товар, не выходя из дома

История цены

МагазинПоследняя известная ценаОбновлено
Буквоед
594 р.
ЛитРес
399 р.
Лабиринт
920 р.
13.01.2024

Описание

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

Смотри также о книге.

Отзывы (0)




Зарегистрируйтесь и получайте бонусы за покупки!


Книги: Информационные технологии, Программирование - издательство "БХВ"

Категория 319 р. - 478 р.

Книги: Информационные технологии, Программирование

Категория 319 р. - 478 р.

закладки (0) сравнение (0)

11 ms