Егор Кузьмин
Скачать бесплатно все книги автора в электронных форматах pdf, fb2, epub, mobi и др. или читать онлайн, а также в формате аудиокниг, которые можно также прослушать онлайн или скачать в формате mp3 бесплатно.
-
В монографии рассматривается класс вполне структурированных систем помеченных переходов, представляющих собой формализм для моделирования и анализа корректности параллельных и распределенных систе