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