Model Checking. Верификация параллельных и распределенных программных систем
Автор: Ю. Г. Карпов
Название: Model Checking. Верификация параллельных и распределенных программных систем
Издательство: БХВ-Петербург
Год: 2010
Страниц: 552
ISBN: 978-5-9775-0404-1
Формат: djvu
Размер: 12,2 Мб
Язык: русский
Качество: хорошее
В книге рассказывается о новых результатах в области верификация с помощью метода model checking и приводятся примеры приложений этого метода в самых разных областях. Рассматриваются проблема верификации, темпоральные логики, алгоритмы model checking для CTL и LTL, структуры Крипке как модели реагирующих систем, спецификация свойств реагирующих систем формулами темпоральной логики, бинарные решающие диаграммы, символьная верификация, количественный анализ систем и системы реального времени, а также применение фундаментальных идей алгоритма model checking в различных приложениях.
На прилагаемом компакт-диске находятся: инструкция по установке системы верификации Spin, методическое пособие по этой системе и описание курсовой работы по верификации нетривиальной системы логическом управления с несколькими вариантами заданий.
Скачать с Depositfiles.com
Скачать с Turbobit.net Программа для чтения файлов в формате djvu
| Рейтинг: | 4.8 баллов / 2537 оценок |
| Формат: | Книга |
| Уже скачали: | 12791 раз |
Похожие Книги
Нам показалось, что Книги ниже Вас заинтересуют не меньше. Эти издания Вы так же можете скачивать и читать совершенно бесплатно на сайте!
-
Мэгги Кокс. Короткие любовные романы
Автор: Мэгги КоксНазвание: Сборник произведенийИздательство: РадугаГод: 2005-2009Формат: RTFРазмер: 1.33 МбЯзык: РусскийСтраниц: >500Сборник коротких любовных романов британской писательницы Мэгги Кок . . .
-
Французский язык с Extr@ удовольствием (13 серий) / ( DVDRip) 2007
EXTR@ — одна из лучших программ обучения разговорному французскому языку.Это самая современная разработка телеканала Великобритании "Сhannel 4" для тех, кто хочет быстро научиться понимать и уверенно . . .
-
Мишель Рид. Сборник романов о любви
Автор: Мишель РидНазвание: Сборник произведенийИздательство: Радуга, ПанорамаГод: 1996-2008Формат: RTFРазмер: 2.57 МбЯзык: РусскийСтраниц: >500Сборник коротких романов о любви британской писательницы . . .
-
ЦаАндрей Посняков. рьград. Враг императора
Название: Царьград. Враг императораАвтор: Андрей ПосняковИздательство: Ленинградское издательствоISBN: 978-5-9942-0343-9Год издания: 2009Страниц: 416Язык: РусскийФормат: rtfРазмер: 5.39 МбОписание:Наш . . .
-
Х-синх. Влечение
С помощью этой программы вы научитесь регулировать у себя состояние сексуального возбуждения. В зависимости от обстоятельств вы сможете его уменьшать либо наоборот, усиливать. Автор: ХемисинкНазвание . . .
-
Сергей Любавин – Наш Есенин (2010 г.,DVD5)
Страна: РоссияЖанр: ChansonПродолжительность: 01:20:40Год выпуска: 2010Лейбл:"Маркон"Треклист:01. Вступление – А.Фрумин02. Синее небо России03. Пара лебедей04. Эх, вы сани05. Над окошком месяц06. Босф . . .
-
Реальный кикбоксинг: Уроки с чемпионом (DVDRip) 2003
В этом фильме Вы увидите красивый и реальный кикбоксинг в исполнении мастера спорта международного класса, чемпиона Мира по кикбоксингу, чемпиона среди профессионалов Армана Сеитова.Удары рук, ног, э . . .
-
Лоис Макмастер Буджолд. Лабиринт
Адмирал дендарийских наемников Майлз Форкосиган- Нейсмит прибывает на планету Архипелаг Джексона для тайного вывоза ученого необходимого Барраяру. Он действует по указаниям Службы Разведки Барраяра, н . . .
-
Встречи с замечательными людьми (аудиокнига)
Эта аудиокнига является автобиографией знаменитого философа, психолога и реализованного эзотерика 20-го века - Георгия Ивановича Гурджиева. О нём нагромождено множество невероятных и противоречивых . . .
-
Видео обучение AutoCad (2010.222Mb,RUS)
Видео курс по работе в программе AutoCAD – девять видео уроков общей продолжительностью более трех часов. Содержание видео курса “AutoCAD в формате видео”. * Вступление (5:26). * Видео урок №01. Введе . . .
Вы не зарегистрированы!
Если вы хотите скачивать книги, журналы и аудиокниги бесплатно, без рекламы и без смс, оставлять комментарии и отзывы, учавствовать в различных интересных мероприятиях, получать скидки в книжных магазинах и многое другое, то Вам необходимо зарегистрироваться в нашей Электронной Библиотеке.
Отзывы читателей
Ой!
К сожалению, в нашей Бесплатной Библиотеке пока нет отзывов о Книге Model Checking. Верификация параллельных и распределенных программных систем. Помогите нам и другим читателям окунуться в сюжет Книги и узнать Ваше мнение. Оставьте свой отзыв или обзор сейчас, это займет у Вас всего-лишь несколько минут.