Разное




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

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



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

Bazooka Joe Gotti - Street Disciple (2021)
Bazooka Joe Gotti - Street Disciple (2021)

Nutty Blue - 1318 (2021)
Nutty Blue - 1318 (2021)

Groove. & Swift Holiday - The Chemical Composition Tape (2021)
Groove. & Swift Holiday - The Chemical Composition Tape (2021)

Circle Of Native Vibes - Vibrations (2021)
Circle Of Native Vibes - Vibrations (2021)

Салах Алайна - Американ босс (Аудиокнига)
Салах Алайна - Американ босс (Аудиокнига)


Главная » 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
Ищу на сайте

Случайный анекдот
- Хозяйка дома нанимает новую няню.
- А почему вам отказали от прежнего места?
- Я однажды забыла выкупать ребенка.
Голос из детской:
- Мы берем ее, мамочка!

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

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

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