Теория контрактов и мультивариантные точечные процессыдипломная работа (Специалист)