|
АР01-3769
Тренькаев, В. Н. Разработка методов синтеза проверяющих тестов для сетей из конечных автоматов [Текст] : автореферат диссертации на соискание ученой степени канд. техн. наук: 05.13.01 / В. Н. Тренькаев. - Томск, 2000. - 23 с. : ил. В надзаг. : Томский гос. ун-т. Библиогр.:с. 22-23(10 назв.)
Экземпляры всего 1: ХР (1)
Свободны: ХР (1)
|
|