К 612 Коломеец, Антон Владимирович. Алгоритмы синтеза проверяющих тестов для управляющих систем на основе расширенных автоматов : Автореферат диссертации на соискание ученой степени кандидата технических наук. 05.13.01 / А. В. Коломеец ; науч. рук. Н. В. Евтушенко ; Томский государственный университет. - Томск, 2010. - 18 с. - Библиогр.: с. 17-18 Коды, Ключ.слова, Доп.точки доступа ![]() Имеются экземпляры в отделах: счз1 (1 экз.) Свободны: счз1 (1) |