Главная > Автор Кузьмин Е.В.
О чем не говорят конспирологи
Книги Кузьмин Е.В.
Структурированные системы переходов
Автор: Кузьмин Е.В.
Издательство: Физматлит, 2006
Жанр: Научная, учебная литература для специалистов
Страниц: 176 страниц
Загрузил: kubinec12, 12 мая 2010
   В монографии рассматривается класс вполне структурированных систем помеченных переходов, представляющих собой формализм для моделирования и анализа корректности параллельных и распределенных систем, таких как вычислительные машины и комплексы с параллельной и распределённой архитектурой, параллельные программы, протоколы передачи данных, модели технологических и бизнес-процессов, при этом основное внимание уделяется разрешимости классических проблем ограниченности, достижимости, покрытия, неизбежности, поддержки управляющего состояния, останова, эквивалентности и других важных семантических и темпоральных свойств. Для научных работников, преподавателей, аспирантов и студентов, интересующихся формальными методами моделирования, анализа и верификации параллельных и распределенных систем.
Для правильной работы fb2Мира используйте только последние версии браузеров: Chrome, Opera или Firefox.
В других браузерах работа fb2Мира не гарантируется!
Ваша дата определена как 04 декабря 2024
Рейтинг@Mail.ru
© 2008–2024 fb2Мир