Егор Владимирович Кузьмин
Произведения автора 1
Только полные версии книг
РОМАНЫ и ПОВЕСТИ
аудиокнига
Год написания книги 2016
В монографии рассматривается класс вполне структурированных систем помеченных переходов, представляющих собой формализм для моделирования и анализа корректности параллельных и распределенных сист…