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

Издатель: БХВ
ISBN: 978-5-9775-0404-1
Книги: Программирование
ID:2171155

Рейтинг:

(0/5)

О книге

Параметр	Значение
Автор(ы)	Карпов Юрий Глебович
Переплет	70х100/16
Издатель	БХВ
Год издания	2010
Страниц	552
Переплёт	твердый
ISBN	978-5-9775-0404-1
Размеры	24,00 см × 17,00 см × 3,00 см
Формат	70х100/16
Тематика	Текстовые редакторы
Тираж	1000

Где купить

Последняя известная цена от 399 р. до 920 р. в 3 магазинах

В данный момент у нас нет информации о наличии данного товара в магазинах.
Вы можете поискать его на других площадках:

Магазин	Цена	Наличие
Яндекс.Маркет 5/5 ООО "ЯНДЕКС" ИНН: 7736207543	✔ Промокоды на скидку

Avito 5/5 ООО КЕХ еКоммерц ИНН: 7710668349	Avito доставка позволит получить любой товар, не выходя из дома ✔ Промокоды на скидку

История цены
Магазин	Последняя известная цена	Обновлено
ЛитРес	399 р.
Лабиринт	920 р.	13.01.2024

Описание

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

Смотри также о книге.