Структурированные системы переходов (Кузьмин Егор Владимирович, Соколов Валерий Анатольевич) ; Физматлит, 2006
Автор(ы): Кузьмин Егор Владимирович; Соколов Валерий Анатольевич;
Издатель: Физматлит
ISBN: 978-5-9221-0692-4
ID: SKU1805614
Добавлено: 29.12.2023
Цены
Нет в наличии
В данный момент у нас нет информации о наличии данного товара в магазинах. Вы можете поискать его на других площадках ниже.
Магазин | Цена | Наличие |
---|---|---|
Лабиринт 5/5 | ||
Читай-город 5/5 | ||
МАЙШОП 5/5 | Один из первых книжных интернет-магазинов, работающий с 2002 года | |
Описание
В монографии рассматривается класс вполне структурированных систем помеченных переходов, представляющих собой формализм для моделирования и анализа корректности параллельных и распределенных систем, таких как вычислительные машины и комплексы с параллельной и распределенной архитектурой, параллельные программы, протоколы передачи данных, модели технологических и бизнес-процессов, при этом основное внимание уделяется разрешимости классических проблем ограниченности, достижимости, покрытия, неизбежности, поддержки управляющего состояния, останова, эквивалентности и других важных семантических и темпоральных свойств. Для научных работников, преподавателей, аспирантов и студентов, интересующихся формальными методами моделирования, анализа и верификации параллельных и распределенных систем.
Смотри также Характеристики.
Яндекс.Маркет
О книге
ISBN | 978-5-9221-0692-4 |
Автор(ы) | Кузьмин Егор Владимирович, Соколов Валерий Анатольевич |
Год издания | 2006 |
Издатель | Физматлит |
Книги с похожим названием
Книги где авторы: Кузьмин Егор Владимирович, Соколов Валерий Анатольевич
Информатика - издательство "Физматлит"
Категория 411 р. - 616 р.
Информатика - издательство "Физматлит" »
Информатика
Категория 411 р. - 616 р.