Вид документа : Однотомное издание Шифр издания : АР01-3769 Автор(ы) : Тренькаев В.Н. Заглавие : Разработка методов синтеза проверяющих тестов для сетей из конечных автоматов : Автореферат диссертации на соискание ученой степени канд. техн. наук: 05.13.01 Выходные данные : Томск, 2000 Колич.характеристики :23 с.: ил. Примечания : В надзаг. : Томский гос. ун-т. Библиогр.:с. 22-23(10 назв.) ГРНТИ : 28.25 УДК : 519.718.7(043) Экземпляры :ХР(1) Свободны : ХР(1)