Скачать книгу "Model Checking. Верификация параллельных и распределенных программных систем (+ CD-ROM)", автор: Куренков Александр

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

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

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

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

Скачать книгу "Model Checking. Верификация параллельных и распределенных программных систем (+ CD-ROM)" в .ios.epub
Скачать файл...

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

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

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

Подробнее про аудиокниги на нашем сайте здесь: аудиокниги

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

Автор: Куренков Александр

Правообладатель: Автор
Жанр: Программирование Анонс:
На прилагаемом компакт-диске находятся: инструкция по установке системы верификации Spin, методическое пособие по этой системе и описание курсовой работы по верификации нетривиальной системы логическом управления с несколькими вариантами заданий, рассматриваются проблема верификации, темпоральные логики, алгоритмы model checking для CTL и LTL, структуры Крипке как модели реагирующих систем, спецификация свойств реагирующих систем формулами темпоральной логики, бинарные решающие диаграммы, символьная верификация, количественный анализ систем и системы реального времени, а также применение фундаментальных идей алгоритма model checking в различных приложениях.

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

Скачать книги жанра Программирование

Книги с лучшими отзывами:

Голая статистика. Самая интересная книга о самой скучной науке - Уилан Чарльз

Голая статистика. Самая интересная книга о самой скучной науке, автор: Уилан Чарльз

Скачать...

Ведьма и тьма - Вилар Симона

Ведьма и тьма, автор: Вилар Симона

Скачать...

По ее следам - Ричмонд Т. Р.

По ее следам, автор: Ричмонд Т. Р.

Скачать...

Написать отзыв о книге

Псевдоним

Ваша почта (скрыта для всех)

Ваш отзыв

Отзывы на эту книгу

|