Разное




РазДЕЛЫ САЙТА

Боевики, детективы
Документалка
Драмы, триллеры
Исторические
Комедии
Мелодрамы
Мультяшки
Обучающее, познание
Приключения
Сказки, фэнтези
Старое, доброе
Ужасы
Фантастика
х х х х х х х х х
Блюз, джаз, соул
Инструментальная
Классическая
Клипы
Минусовки
Музыка игр и кино
Поп
Разная
Ретро
Рок, метал
Рэп, хип-хоп
Шансон
х х х х х х х х х
Автософт и навигация
Аудиокниги
Книги и журналы
Фото и видео, приколы



СЛучайные материалы

Гаусс Максим - Армада. Книга 3. Реванш (Аудиокнига)
Гаусс Максим - Армада. Книга 3. Реванш (Аудиокнига)

All Country (2024)
All Country (2024)

Карелин Сергей - Первый круг Ада. Том 1 (Аудиокнига)
Карелин Сергей - Первый круг Ада. Том 1 (Аудиокнига)

Hot Gorilla Records Best Of 2023 (2024)
Hot Gorilla Records Best Of 2023 (2024)

Чернованова Валерия - Наследие Велены (Аудиокнига)
Чернованова Валерия - Наследие Велены (Аудиокнига)


Главная » 2018 » Декабрь » 22 » Model Checking. Верификация параллельных и распределенных программных систем

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

12:50

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

Скачать: Книги и журналы | Теги: Checking, систем, model, верификация, параллельных, 2010, программных, распределенных

Похожие материалы скачать бесплатно и без регистрации


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

Всего мнений: 0
avatar
Ищу на сайте

Случайный анекдот
После операции:
- Доктор, это вы мне голову после авиакатастрофы пришивали?
- Я. Есть претензии к качеству шва?
- Нет, доктор, шов хороший, но это не моя голова...

Новое на сайте
Пока, к сожалению, ничего нет

Наша статистика

Присутствуют: 1
Неизвестных: 1
Знакомых: 0
Copyright by Anonimus © 2024