Model Checking. Верификация параллельных и распределенных программных систем djvu 12,2Мб
Автор: Ю. Г. Карпов
Название: 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
| Рейтинг: | 4.8 баллов / 2537 оценок |
| Формат: | Книга |
| Уже скачали: | 12771 раз |
Похожие Книги
Нам показалось, что Книги ниже Вас заинтересуют не меньше. Эти издания Вы так же можете скачивать и читать совершенно бесплатно на сайте!
-
Plato's Cosmology: The Timaeus of Plato
Название:Plato's Cosmology: The Timaeus of PlatoАвтор:Plato, Francis MacDonald CornfordИздательство:Hackett Publishing CompanyISBN:0872203867Дата издания:1997-09Страниц:376Язык:АнглийскийФормат:PDFРаз . . .
-
Linien Der Rechtsprechung Des Bundesverfassungsgerichts: Erortert Von Den Wissenschaftlichen Mitarbeitern (German Edition)
Название:Linien Der Rechtsprechung Des Bundesverfassungsgerichts: Erortert Von Den Wissenschaftlichen Mitarbeitern (German Edition)Автор:Hartmut Rensen, Stefan BrinkИздательство:Walter de GruyterISBN: . . .
-
Палеографическое значение бумажных водяных знаков (Часть 1-3)
Название: Палеографическое значение бумажных водяных знаков (Часть 1-3)Автор: Лихачев Н. П.Издательство: СПб. тип. В. С. Балашев и КГод: 1899Страниц: 748+680+560Язык: РусскийКачество: ХорошееФормат: P . . .
-
Imagining America: Influence and Images in Twentieth-Century Russia
Название:Imagining America: Influence and Images in Twentieth-Century RussiaАвтор:Alan M. BallИздательство:Rowman & Littlefield Publishers, Inc.ISBN:074252793XДата издания:2003-07-21Страниц:328Язык:Ан . . .
-
Das gelingende Gutsein: ГѓЕ“ber Liebe und Anerkennung bei Kierkegaard (Kierkegaard Studies, Monograph Series) (German Edition)
Название:Das gelingende Gutsein: ГѓЕ“ber Liebe und Anerkennung bei Kierkegaard (Kierkegaard Studies, Monograph Series) (German Edition)Автор:Sergio MuГѓВ±oz FonnegraИздательство:De GruyterISBN:3110226 . . .
-
Counseling And Psychotherapy With Arabs And Muslims: A Culturally Sensitive Approach (Multicultural Foundations of Psychology and Counseling)
Название:Counseling And Psychotherapy With Arabs And Muslims: A Culturally Sensitive Approach (Multicultural Foundations of Psychology and Counseling)Автор:Marwan DwairyИздательство:Teachers College P . . .
-
Handbook of Autism and Pervasive Developmental Disorders, Diagnosis, Development, Neurobiology, and Behavior (volume 1)
Название:Handbook of Autism and Pervasive Developmental Disorders, Diagnosis, Development, Neurobiology, and Behavior (volume 1)Автор:Fred R. Volkmar, Rhea Paul, Ami Klin, Donald J. CohenИздательство: . . .
-
Cell Death: The Role of PARP
Название:Cell Death: The Role of PARPАвтор:Csaba SzaboИздательство:CRC PressISBN:0849322677Дата издания:2000-06-22Страниц:352Язык:АнглийскийФормат:PDFРазмер:10.00 MBPoly (ADP-ribose) polymerase (PARP) . . .
-
The Official Patient's Sourcebook on Influenza: A Revised and Updated Directory for the Internet Age
Название:The Official Patient's Sourcebook on Influenza: A Revised and Updated Directory for the Internet AgeАвтор:Icon Health PublicationsИздательство:Icon Health PublicationsISBN:0597830568Дата изда . . .
-
Helping Parents with Challenging Children Positive Family Intervention Facilitator Guide (Programs That Work)
Название:Helping Parents with Challenging Children Positive Family Intervention Facilitator Guide (Programs That Work)Автор:V. Mark Durand, Meme HienemanИздательство:Oxford University Press, USAISBN:0 . . .
Вы не зарегистрированы!
Если вы хотите скачивать книги, журналы и аудиокниги бесплатно, без рекламы и без смс, оставлять комментарии и отзывы, учавствовать в различных интересных мероприятиях, получать скидки в книжных магазинах и многое другое, то Вам необходимо зарегистрироваться в нашей Электронной Библиотеке.
Отзывы читателей
Ой!
К сожалению, в нашей Бесплатной Библиотеке пока нет отзывов о Книге Model Checking. Верификация параллельных и распределенных программных систем djvu 12,2Мб. Помогите нам и другим читателям окунуться в сюжет Книги и узнать Ваше мнение. Оставьте свой отзыв или обзор сейчас, это займет у Вас всего-лишь несколько минут.