Telefona gönder: Программные и вычислительные системы: Методы и языки анализа; Системная информатика