Название: Теория процессов Автор: Миронов А.М. Издательство: Переславль-Залесский: Издательство НОУ Институт программных систем Год: 2008 Страниц: 346 Формат: djvu Размер: 12,8 Мб Язык: Русский
Методы теории процессов позволяют анализировать с приемлемой сложностью модели с очень большим и даже бесконечным множеством состояний. Это возможно благодаря разработанной в теории процессов технике символьных преобразований выражений, описывающих процессы. Процесс, как правило, не учитывает всех деталей поведения анализируемой системы. Одно и то же поведение может быть представлено различными процессами, отражающими разную степень абстракции при построении модели этого поведения, и разные уровни детализации действий, исполняемых системой. В этой книге дано изложение основных понятий и результатов исчисления взаимодействующих систем Р. Милнера. Теоретические понятия сопровождается иллюстрациями их применения к решению различных задач верификации процессов.
Уважаемый посетитель, Вы зашли на сайт как незарегистрированный пользователь.
С этой публикацией часто скачивают:
Теория телетрафика и ее приложения (2005) Название: Теория телетрафика и ее приложения Автор(ы): Крылов В.В., Самохвалова С.С. Издательство: БХВ-Петербург Год: 2005 Страниц: 288 Формат:...
Теория вероятностей и случайных процессов (1992) Название: Теория вероятностей и случайных процессов Автор: Тутубалин В.Н. Издательство: Издательство Московского университета Год: 1992 Формат: pdf...
Теория случайных процессов для экономистов Название: Теория случайных процессов для экономистов Автор: Соколов Г.А. Издательство: М.: Физматлит Год: 2010 Формат: pdf Страниц: 208 Размер: 16...
Навигация
Вход на сайт
Реклама
Теория процессов 
