Исследование и разработка взаимодействия программ в АСУ на основе спецификаций темпоральной логики Урсу, Анатолий Георгиевич ВАК РФ 05.13.06 Стр. 1 из 18