О сложности задачи восстановления событий по темпоральной спецификациикурсовая работа (Бакалавр)