| 000 | 01273nam a2200229 4500 | ||
|---|---|---|---|
| 001 | vtls000088490 | ||
| 003 | RU-ToGU | ||
| 005 | 20230123124340.0 | ||
| 008 | 091028s2000 ru | f mb 000 0 rus d | ||
| 035 | _a0091-75560 | ||
| 040 |
_aRU-ToGU _brus _cRU-ToGU _ePSBO |
||
| 100 | 1 |
_aПрокопенко, Светлана Анатольевна _969956 |
|
| 245 | 1 | 0 |
_aМинимизация проверяющих тестов для систем логического управления методами теории конечных автоматов _bАвтореферат диссертации на соискание ученой степени кандидата технических наук. 05.13.01 _cТом. гос. ун-т |
| 260 |
_aТомск _c2000 |
||
| 300 |
_a22 с. _bил. |
||
| 504 | _aБиблиогр.: с. 21-22 | ||
| 650 | 0 | 7 |
_aУправление в технических системах. _2БВАК1995N4 _957411 |
| 653 | _aавторефераты диссертаций. | ||
| 710 | 2 |
_aТомский государственный университет. _953646 |
|
| 852 | 4 |
_aRU-ToGU _h1-878505к _i62 _nru |
|
| 999 | _c89963 | ||