Алгоритмы синтеза проверяющих тестов для управляющих систем на основе расширенных автоматов автореферат диссертации на соискание ученой степени кандидата технических наук : 05.13.01
Main Author: | |
---|---|
Corporate Author: | |
Format: | eBook |
Language: | Russian |
Published: |
Томск
[б. и.]
2010
|
Subjects: | |
Online Access: | http://vital.lib.tsu.ru/vital/access/manager/Repository/vtls:000391905 Перейти в каталог НБ ТГУ |
Internet
http://vital.lib.tsu.ru/vital/access/manager/Repository/vtls:000391905Перейти в каталог НБ ТГУ
Научная библиотека ТГУ: Книгохранилище
Call Number: |
1-951503к 1-951504 |
---|---|
Available Place a Hold | |
Available Place a Hold |