| 000 | 01499nam a2200301 4500 | ||
|---|---|---|---|
| 001 | vtls000076296 | ||
| 003 | RU-ToGU | ||
| 005 | 20221228144312.0 | ||
| 008 | 000829s2000 ru a f bm 00| 0 rus d | ||
| 035 | _a0079-35360 | ||
| 040 |
_aRU-ToGU _brus _cRU-ToGU _ePSBO |
||
| 080 | _a519.713.1(043.3) | ||
| 080 | _a519.718.7(043.3) | ||
| 100 | 1 |
_aТренькаев, Вадим Николаевич _969278 |
|
| 245 | 1 | 0 |
_aРазработка методов синтеза проверяющих тестов для сетей из конечных автоматов _bдиссертация на соискание ученой степени кандидата технических наук : 05.13.01 _cТренькаев Вадим Николаевич ; Том. гос. ун-т ; науч. рук. Н. В. Евтушенко |
| 260 |
_aТомск _c2000 |
||
| 300 |
_a182 л. _bграф. |
||
| 504 | _aБиблиогр.: л. 177-182 | ||
| 653 | _aдиссертации. | ||
| 653 | _aтеория автоматов. | ||
| 653 | _aдетерминированные автоматы. | ||
| 653 | _aнедетерминированные автоматы. | ||
| 653 | _aтесты. | ||
| 653 | _aсинтез. | ||
| 710 | 2 |
_aТомский государственный университет. _953646 |
|
| 852 | 4 |
_aRU-ToGU _h1-838305к _i519.713 _nru |
|
| 999 | _c78234 | ||