Бесплатная библиотека - 1 338 003 изданий в библиотеке

Model Checking. Верификация параллельных и распределенных программных систем djvu 12,2Мб

Книга 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 оценок
Формат: Книга
Уже скачали: 12777 раз

Похожие Книги

Нам показалось, что Книги ниже Вас заинтересуют не меньше. Эти издания Вы так же можете скачивать и читать совершенно бесплатно на сайте!

  • Книга Знаки Зодиака, или Астрология с улыбкой (Аудио )

    Знаки Зодиака, или Астрология с улыбкой (Аудио )

    Название: Знаки Зодиака, или Астрология с улыбкой (Аудиокнига) Автор: Гудмен Линда Издательство: Нигде не купишь Формат: MP3 Размер: 449 Мб Качество: Отличное Язык: Русский Год издания: 2012 Знамениты . . .

  • Книга Палая листва, Габриэль Гарсия Маркес

    Палая листва, Габриэль Гарсия Маркес

    Автор: Габриэль Гарсия МаркесНазвание: Палая листваИздательство: Эксмо-ПрессISBN: 5-04-004835-1Год: 2000Формат: RTF, FB2, RBРазмер: 2.33 Mb (+3%)Палая листва – первое художественное произведение Гарси . . .

  • Книга Как влюбить в себя любого (Л.Лаундес)

    Как влюбить в себя любого (Л.Лаундес)

    В этом неотразимом и остроумном руководстве всемирно известный эксперт в области психологи межличностных отношений Лейл Лаундес рассматривает 6 необходимых ингредиентов, входящих в состав этой формулы . . .

  • Книга The early air racers in 3-views, 1909-1929

    The early air racers in 3-views, 1909-1929

    Название: The early air racers in 3-views, 1909-1929Автор: Charles A. MendenhallИздательство: Pylon PublicationsСтраниц: 76Формат: PDFРазмер: 25Качество: среднее Язык: английскийГод: 1976ISBN: . . .

  • Аудиокнига Сборник радиоспектаклей №23 (1952 - 2012)

    Сборник радиоспектаклей №23 (1952 - 2012)

    Название: Сборник радиоспектаклей №23 (1952 - 2012) Автор: Разные Издательство: Разные Формат: MP3 Размер: 1.99 GB Качество: Отличное Язык: Русский Жанр: Аудио Радиопостановки Год издания: 1952 - 2012 . . .

  • Книга Одиссея сыщика Гурова (в 7 томах)

    Одиссея сыщика Гурова (в 7 томах)

    Название: Одиссея сыщика Гурова (в 7 томах) Автор: Леонов Н.И. Издательство: ИД "Федоров" Страниц: 3197 Формат: PDF Размер: 277 Мб Качество: Нормальное Язык: Русский Год издания: 1993-1996 ISBN: 5-888 . . .

  • Книга Белый рынок

    Белый рынок

    Название: Белый рынок Автор: Серж Лафоре Издательство: Голос Формат: Смешанный Размер: 3,92 Мб Качество: Отличное Язык: Русский Жанр: классический детектив Год издания: 1993 Роман французского писате . . .

  • Аудиокнига Сборник радиоспектаклей №24 (1962 - 2007)

    Сборник радиоспектаклей №24 (1962 - 2007)

    Название: Сборник радиоспектаклей №24 (1962 - 2007) Автор: Разные Издательство: Разные Формат: MP3 Размер: 1.93 GB Качество: Отличное Язык: Русский Жанр: Аудио Радиопостановки Год издания: 1962 - 2007 . . .

  • Книга Fifty Years of Travel by Land, Water and Air

    Fifty Years of Travel by Land, Water and Air

    Название: Fifty Years of Travel by Land, Water and AirАвтор: Frank Hedges ButlerИздательство: London, T.F. Unwin ltd. Страниц: 432Формат: PDFРазмер: 20 mbКачество: среднееЯзык: английскийГод: . . .

  • Книга Коронное блюдо. Печенье. Маффины. Рулеты. Капкейки

    Коронное блюдо. Печенье. Маффины. Рулеты. Капкейки

    Автор: Е.А. АльхабашНазвание: Коронное блюдо. Печенье. Маффины. Рулеты. КапкейкиИздательство: Аргумент ПринтГод: 2012Серия: Коронное блюдо. Книга 12ISBN: 978-617-570-359-5Формат: pdfСтраниц: 96Качеств . . .

Вы не зарегистрированы!

Если вы хотите скачивать книги, журналы и аудиокниги бесплатно, без рекламы и без смс, оставлять комментарии и отзывы, учавствовать в различных интересных мероприятиях, получать скидки в книжных магазинах и многое другое, то Вам необходимо зарегистрироваться в нашей Электронной Библиотеке.

Войти Регистрация

Отзывы читателей

Ой!

К сожалению, в нашей Бесплатной Библиотеке пока нет отзывов о Книге Model Checking. Верификация параллельных и распределенных программных систем djvu 12,2Мб. Помогите нам и другим читателям окунуться в сюжет Книги и узнать Ваше мнение. Оставьте свой отзыв или обзор сейчас, это займет у Вас всего-лишь несколько минут.