• Мне нравится
  • Мне не нравится
  • У меня это есть
  • Подписка на отзывы
  • Хочу в подарок
  • Хочу подарить
Model Checking. Верификация параллельных и распределенных программных систем (+ CD-ROM)
 

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

ID 4797670

Автор: Ю. Г. Карпов

Языки: Русский

Издательство: БХВ-Петербург

ISBN 978-5-9775-0404-1; 2010 г.

Дополнительные характеристики

Страниц
552 стр.
Формат
70x100/16 (167x236 мм)
Тираж
1000 экз.
Переплет
Твердый переплет

Ваша цена: +14,24

71200 руб.

Произошла ошибка

На складе

Вес 655 г

Ожидаемая дата передачи
в службу доставки 28 мая

Оценить:

Вместе с этим товаром покупают

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

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

Верификация моделей программ. Model Checking
 

+

Верификация моделей программ. Model Checking

Ваша цена: +22,58

=1 12900 руб.

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

Персоны

Юрий Карпов

Юрий Карпов

автор

 
 

Товары

Рекомендуем также

Верификация моделей программ. Model Checking

417 руб.
В корзину
В корзинe

Моделирование систем. Практикум по компьютерному моделированию (+ CD-ROM)

366 руб.
В корзину
В корзинe

Анализ данных и процессов (+ CD-ROM)

426 руб.
В корзину
В корзинe

Свободное программное обеспечение на уроке информатики (+ CD-ROM)

356 руб.
В корзину
В корзинe

Microsoft Office Excel 2007. Анализ данных и бизнес-моделирование (+ CD-ROM)

425 руб.
В корзину
В корзинe

Свободное программное обеспечение. FREE PASCAL для студентов и школьников (+ CD)

319 руб.
В корзину
В корзинe

Физика для разработчиков компьютерных игр (+ CD-ROM)

507 руб.
В корзину
В корзинe

Интегрированный подход к моделированию фильтрационных потоков (+ CD-ROM)

1 034 руб.
В корзину
В корзинe

Построение распределенных программных систем на Java

389 руб.
В корзину
В корзинe

Технологии программирования C++ (+ CD-ROM)

318 руб.
В корзину
В корзинe

Каталог