везде Расширенный поиск
книги Электронные книги
Заглянуть

Юрий Карпов

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

Код 4652392

  • 506 кб
  • май 2015
Электронная книга

Нет в продаже

Сообщить о появлении
pdf

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

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

Оставить замечание о найденной опечатке Версия для печати

Оставить комментарий

Оцените книгу:

Правообладатель: БХВ
Дата выхода: май 2015
Размер файла: 506 Кб
Поставщик контента: ООО «ЛитРес»

Вместе с этой книгой покупают

Нарушения социального познания - новая парадигма в исследованиях центрального психологического дефицита при шизофрении
Нарушения социального познания - новая... бумажная книга
Алла Борисовна...
Нет в продаже
Память. Пронзительные откровения о том, как мы запоминаем и почему забываем
Память. Пронзительные откровения о том, как мы... бумажная книга
Элизабет Лофтус
Нет в продаже
Черный страстоцвет. Пятьдесят строф об украденной любви
Черный страстоцвет. Пятьдесят строф об... бумажная книга
Нет в продаже
Глубокое обучение для поисковых систем
Глубокое обучение для поисковых систем бумажная книга
Томмазо Теофили
30.83 USD
В корзину
Алгоритмы эволюционной оптимизации
Алгоритмы эволюционной оптимизации бумажная книга
Дэн Саймон
42.46 USD
В корзину
-15%
Отал и Феу (на английском языке)
Отал и Феу (на английском языке) бумажная книга
Алекс Школьник
15.3 USD 13 USD
На складе
В корзину