1. Книги
  2. Нехудожественная литература
  3. Компьютерные технологии
  4. Языки программирования
Код товара: 4797670
Model Checking. Верификация параллельных и распределенных программных систем (+ CD-ROM)  #1

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

Тип книги:
Издательство
БХВ-Петербург
Год выпуска
2010
Тип обложки
Твердый переплет
Автор на обложке
Ю. Г. Карпов
ISBN
978-5-9775-0404-1
Перейти к описанию

О книге

В книге рассказывается о новых результатах в области верификация с помощью метода model checking и приводятся примеры приложений этого метода в самых разных областях. Рассматриваются проблема верифика
Товар закончился
9,99 $ 
Нет в наличии
OZON
Продавец
  • Безопасная оплата онлайн
  • Возврат 7 дней

Описание

В книге рассказывается о новых результатах в области верификация с помощью метода model checking и приводятся примеры приложений этого метода в самых разных областях. Рассматриваются проблема верификации, темпоральные логики, алгоритмы model checking для CTL и LTL, структуры Крипке как модели реагирующих систем, спецификация свойств реагирующих систем формулами темпоральной логики, бинарные решающие диаграммы, символьная верификация, количественный анализ систем и системы реального времени, а также применение фундаментальных идей алгоритма model checking в различных приложениях.
На прилагаемом компакт-диске находятся: инструкция по установке системы верификации Spin, методическое пособие по этой системе и описание курсовой работы по верификации нетривиальной системы логическом управления с несколькими вариантами заданий.

Комментарий

Прилагаемый к изданию диск (CD-ROM) упакован в специальный целлофановый конверт и вложен внутрь книги.

Издательство
БХВ-Петербург
Год выпуска
2010
Тип обложки
Твердый переплет
Автор на обложке
Ю. Г. Карпов
ISBN
978-5-9775-0404-1
Тип книги
Печатная книга
Язык издания
Русский
Количество страниц
552
Формат издания
70x100/16
Тип издания
Отдельное издание
Вес с упаковкой, г
630.00
Информация о технических характеристиках, комплекте поставки, стране изготовления, внешнем виде и цвете товара носит справочный характер и основывается на последних доступных к моменту публикации сведениях

Издательства

  • БХВ-Петербург Издательство
Реклама
0
Отзывы
Нет оценок
Задайте вопрос о товаре
Вы сможете получить ответ от официального представителя и других пользователей

Как правильно задавать вопросы?

Будьте вежливы и спрашивайте о товаре, на карточке которого вы находитесь

Если вы обнаружили ошибку в описанием товара, воспользуйтесь функцией

Как отвечать на вопросы?

Отвечать на вопросы могут клиенты, купившие товар, и официальные представители.

Выбрать «Лучший ответ» может только автор вопроса, если именно этот ответ ему помог.