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