АР97-3574     Харитонов, М. Ю.     Параллельные алгоритмы и методы верификации аппаратных средств вычислительной техники [Текст] : автореферат диссертации на соискание ученой степени канд.техн.наук:05.13.13 / М. Ю. Харитонов. - СПб, 1997. - 16 с. Библиогр.:с. 16(5 назв.) ГРНТИ 50.07 УДК 004.3'12(043) Экземпляры всего 1: ХР (1) Свободны: ХР (1)