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