HTML> Все лучшее для вас
Все лучшее для вас!!! Вторник, 09.08.2022, 20:33
Меню сайта
Форма входа
Категории раздела
Игры [5228]
Мобила [344]
Софт [8340]
Журналы и книги [53034]
Картинки [2516]
Фильмы (видео) [3585]
Разное [2938]
Клипы [1179]
Новости в мире [16]
Все для фотошопа [936]
Все самое самое для мобилы [34]
Решебники (ГДЗ) [12]
Фильмы онлайн [16]
Статистика
Онлайн всего: 1
Гостей: 1
Пользователей: 0
Сегодняшние посетители
Наш опрос
Как вам сайтик
Всего ответов: 88
Наша кнопка


Получить код кнопки:

Реклама
Раскрутись
Главная » 2018 » Декабрь » 22 » Model Checking. Верификация параллельных и распределенных программных систем
12: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
Категория: Журналы и книги | Просмотров: 67 | Добавил: pmojka | Теги: 2010, программных, распределенных, систем, model, Checking, параллельных, верификация | Рейтинг: 0.0/0
Всего комментариев: 0
Добавлять комментарии могут только зарегистрированные пользователи.
[ Регистрация | Вход ]
Поиск
Кто от куда?
Теги сайта
Друзья сайта
Русские программы
Поиск
Copyright MyCorp © 2022
Сделать бесплатный сайт с uCoz