Разное




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

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



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

Училка первая моя (2019) HD
Училка первая моя (2019) HD

Mojo-T - Thousand Miles (2020)
Mojo-T - Thousand Miles (2020)

Jazz Organix - Lemongrass Lady (September 6, 2019)
Jazz Organix - Lemongrass Lady (September 6, 2019)

Станислав Дробышевский - Палеонтология антрополога. Книга 1. Докембрий и палеозой
Станислав Дробышевский - Палеонтология антрополога. Книга 1. Докембрий и палеозой

Moon Hooch - Life On Other Planets (January 10, 2020)
Moon Hooch - Life On Other Planets (January 10, 2020)


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

Случайный анекдот
Учитель:
- Кто знает, сколькха будэт тpижди тpи? Пэтpов!
- Девять!
- Садысь, два! Иванов!
- Девять...
- Садысь, два! Гоги!
- Сэм, учытель!
- Да, гдэ-то так - сэм-восэм...

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

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

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