Многоуровневая верификация супер ЭВМ. Временной анализ и управление конструкторским проектированием Яицков, Александр Сергеевич ВАК РФ 05.13.11 Стр. 1 из 34