Добро пожаловать, Гость! Вы можете войти или зарегистрироваться
Обратная связь
Войти через  
Visa MasterCard WebMoney Яндекс.Деньги PayPal
270 пунктов выдачи, доставка в 91 городе
8-800-707-3313
(по России бесплатно)
Мой регион
MODEL СHECKING. Верификация параллельных и распределенных программных систем
Издание: октябрь 2009 года (издательство "BHV-СПб", ISBN 978-5-9775-0404-1)
[Previous]
[далее]
MODEL СHECKING. Верификация параллельных и распределенных программных систем
Заглянуть внутрь
MODEL СHECKING. Верификация параллельных и распределенных программных систем

Книга







Ю. Карпов

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

     0
0 (0 голосов )

Это книга на бумаге. А еще можно скачать файл MODEL СHECKING. Верификация параллельных и распределенных программных систем

  • ISBN: 978-5-9775-0404-1
  • 560 страниц
  • октябрь 2009
  • BHV-СПб
  • 650 г
.

Аннотация к книге "MODEL СHECKING. Верификация параллельных и распределенных программных систем"

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

New & best!