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

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

Книга Model Checking. Верификация параллельных и распределенных программных систем

Автор: Ю. Г. Карпов
Название: Model Checking. Верификация параллельных и распределенных программных систем
Издательство: БХВ-Петербург
Год: 2010
Страниц: 552
ISBN: 978-5-9775-0404-1
Формат: djvu
Размер: 12,2 Мб
Язык: русский
Качество: хорошее
В книге рассказывается о новых результатах в области верификация с помощью метода model checking и приводятся примеры приложений этого метода в самых разных областях. Рассматриваются проблема верификации, темпоральные логики, алгоритмы model checking для CTL и LTL, структуры Крипке как модели реагирующих систем, спецификация свойств реагирующих систем формулами темпоральной логики, бинарные решающие диаграммы, символьная верификация, количественный анализ систем и системы реального времени, а также применение фундаментальных идей алгоритма model checking в различных приложениях.
Скачать:
Depositfiles.com
Turbobit.net

Рейтинг: 4.8 баллов / 2537 оценок
Формат: Книга
Уже скачали: 12755 раз

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

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

  • Книга Чингисхан. Книга 3. Солдат неудачи.

    Чингисхан. Книга 3. Солдат неудачи.

    Название: Чингисхан. Книга 3. Солдат неудачи Автор: Сергей Волков Серия или выпуск: Этногенез – 16 Издательство: Этногенез ISBN: 978-5-904454-30-2 Год издания: 2010 Страниц: 224 Язык: Русский Формат . . .

  • Книга Кристофер Сташеф. Сборник книг (47 шт).

    Кристофер Сташеф. Сборник книг (47 шт).

    Название: Кристофер Сташеф. Сборник книг (47 шт) Автор: Кристофер Сташеф Издательство: разные Год издания: 2000-2010 Страниц: сборник книг Язык: Русский Формат: fb2 Качество: отличное Размер: 31.4 М . . .

  • Книга Испанская серенада.

    Испанская серенада.

    Название: Испанская серенада Автор: Дженнифер Блейк Серия или выпуск: Волшебный Купидон Издательство: Олма-Пресс ISBN: 5-87322-051-4 Год издания: 1993 Страниц: 336 Язык: Русский Формат: rtf, fb2 Кач . . .

  • Книга Хромой кузнец.

    Хромой кузнец.

    Название: Хромой кузнец Автор: Семенова Мария Васильевна Серия или выпуск: Правила боя Издательство: Азбука ISBN: 5-352-00520-8; 5-91181-104-9 Год издания: 2006 Страниц: 448 Язык: Русский Формат: fb . . .

  • Книга Гордое сердце.

    Гордое сердце.

    Название: Гордое сердце Автор: Эдит Лэйтон Издательство: АСТ, АСТ Москва ISBN: 978-5-17-044959-0, 978-5-403-02360-3 Год издания: 2010 Страниц: 352 Язык: Русский Формат: RTF Размер: 5,3 Мб Описание: . . .

  • Книга Проклятая кровь. Пробуждение.

    Проклятая кровь. Пробуждение.

    Название: Проклятая кровь. Пробуждение Автор: Юрий Пашковский Серия или выпуск: Проклятая кровь – 2 Издательство: Альфа-книга ISBN: 978-5-9922-0754-5 Год издания: 2010 Страниц: 416 Язык: Русский Фор . . .

  • Книга Саймон Грин. Сборник книг (44 шт).

    Саймон Грин. Сборник книг (44 шт).

    Название: Саймон Грин. Сборник книг (44 шт) Автор: Саймон Грин Издательство: разные Год издания: 2000-2010 Страниц: сборник книг Язык: Русский Формат: fb2 Качество: отличное Размер: 31.7 Мб Описание . . .

  • Книга Джанки.

    Джанки.

    Название: Джанки Автор: Уильям Берроуз Издательство: АСТ, Астрель ISBN: 978-5-17-066339-2 Год издания: 2010 Страниц: 288 Язык: Русский Формат: RTF Качество: отличное Размер: 5,3 Мб Описание: Странна . . .

  • Книга Угрюмый город.

    Угрюмый город.

    Название: Угрюмый город Автор: Фридрих Незнанский Издательство: АСТ, Олимп ISBN: 5-17-027042-9, 5-7390-1415-8 Год издания: 2004 Страниц: 320 Язык: Русский Формат: FB2 Качество: отличное Размер: 5,05 . . .

  • Книга Академия Измерений.

    Академия Измерений.

    Название: Академия Измерений Автор: Наталья Мелиоранская Издательство: АЛЬФА-КНИГА ISBN: 978-5-9922-0781-1 Год издания: 2011 Страниц: 314 Язык: Русский Формат: fb2/rtf Качество: отличное Размер: 12, . . .

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

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

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

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

Ой!

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