D-Mir2009
Меню сайта
Категории раздела
Video [254]
Фильмы и другие видеоматериалы
Music [28914]
Музыка
Programs [528]
Программы для компьютера и не только
Others [30904]
Другое
Мини-чат
Наш опрос
Оцените мой сайт
Всего ответов: 31
Статистика

Онлайн всего: 1
Гостей: 1
Пользователей: 0
Главная » 2018 » Декабрь » 22 » Model Checking. Верификация параллельных и распределенных программных систем
11:50
Model Checking. Верификация параллельных и распределенных программных систем

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

Название: Model Checking. Верификация параллельных и распределенных программных систем
Автор: Карпов Ю. Г.
Издательство: БХВ-Петербург
Год: 2010
Страниц: 560
Формат: PDF
Размер: 14,99 МБ
Качество: отличное
Язык: русский

Скачать Model Checking. Верификация параллельных и распределенных программных систем
Скачать с turbobit.net
Скачать с katfile.com
Скачать с uploadocean.com
Скачать с www.up-4.net
Категория: Others | Просмотров: 151 | Добавил: pmojka | Теги: 2010, распределенных, model, верификация, Checking, программных, параллельных, систем | Рейтинг: 0.0/0
Всего комментариев: 0
Добавлять комментарии могут только зарегистрированные пользователи.
[ Регистрация | Вход ]
Вход на сайт
Поиск
Календарь
Архив записей
Друзья сайта
  • Официальный блог
  • Сообщество uCoz
  • FAQ по системе
  • Инструкции для uCoz
  • Copyright MyCorp © 2024