Только книги!
Регистрация
Забыли пароль
Правила
Регистрация
Главная
Карпов Ю.Г.
Карпов Ю.Г.
Model Checking: Верификация параллельных и распределенных программных систем (+ CD-ROM)
Карпов Ю.Г.
,
2010
В книге рассказывается о новых результатах в области верификации с помощью метода model checking и приводятся примеры приложений этого метода в самых разных областях. Рассматриваются проблема верификации, темпоральные логики, алгоритмы model checking для CTL и LTL, структуры Крипке как модели реагирующих систем, спецификация свойств реагирующих систем формулами темпоральной логики, бинарные решающие диаграммы, символьная верификация, количественный анализ систем и системы реального времени, а также применение фундаментальных идей алгоритма model checking в различных приложениях. На прилагаемом компакт-диске находятся: инструкция по установке системы верификации Spin, методическое пособие по этой системе и описание курсовой работы по верификации нетривиальной системы логического управления с несколькими вариантами заданий. Для студентов вузов, программистов и исследователей в области информатики.
Подробнее
Книги
Фантастика
Мистическая фантастика
Научная фантастика
Сказочная фантастика
Фантастический боевик
Детектив
Современный детектив
Иронический детектив
Сентиментальный детектив
Политический детектив
Исторический детектив
Классический детектив
Кулинария
Сборники кулинарных рецептов
Молочные продукты
Мясная кулинария
Рыбная кулинария
Овощная и грибная кулинария
Супы
Салаты и закуски
Фруктовая кулинария
Десерты
Пироги
Пряности, приправы, соусы
Варенья и компоты
Домашнее виноделие
Крепкие алкогольные напитки
Коктейли
Пиво
Детская литература
Сказки в стихах
Стихи для начальной школы
Сказочная фантастика
Ужастик
Детектив
Русские народные сказки
Пословицы и поговорки
Юмористическая проза
Художественная литература
Триллер
Российский боевик
Любовный роман
Кинороманы
Русская поэзия
Рассказы путешественников
Статьи. Эссе
Юмор. Комиксы.
Комиксы
Российский юмор
Зарубежный юмор
Анекдоты
Семья
Бюджет
Ведение домашнего хозяйства
Выбор имени
Дети и родители
Психология брака
Свадьба
Первая помощь