| 000 | 02007nab a2200313 c 4500 | ||
|---|---|---|---|
| 001 | vtls000473318 | ||
| 003 | RU-ToGU | ||
| 005 | 20240426161737.0 | ||
| 007 | cr | | ||
| 008 | 170612s2013 ru s c rus d | ||
| 035 | _ato000473318 | ||
| 040 |
_aRU-ToGU _brus _cRU-ToGU |
||
| 245 | 1 | 0 |
_aСинтез диагностических тестов для программного обеспечения по срезам расширенного автомата _cС. А. Прокопенко, М. В. Жигулин, А. В. Коломеец, Н. В. Евтушенко |
| 504 | _aБиблиогр.: 7 назв. | ||
| 653 | _aрасширенные автоматы | ||
| 653 | _aдиагностические тесты | ||
| 655 | 4 |
_aстатьи в журналах _9879358 |
|
| 700 | 1 |
_aЖигулин, Максим Владимирович _983519 |
|
| 700 | 1 |
_aКоломеец, Антон Владимирович _979068 |
|
| 700 | 1 |
_aЕвтушенко, Нина Владимировна _970064 |
|
| 700 | 1 |
_aПрокопенко, Светлана Анатольевна _969956 |
|
| 710 | 2 |
_aТомский государственный университет _bРадиофизический факультет _bКафедра информационных технологий в исследовании дискретных структур _981023 |
|
| 710 | 2 |
_aТомский государственный университет _bРадиофизический факультет _bНаучные подразделения РФФ _9107063 |
|
| 773 | 0 |
_tИзвестия высших учебных заведений. Физика _d2013 _gТ. 56, № 9/2. С. 200-202 _x0021-3411 _w0026-80960 |
|
| 852 | 4 | _aRU-ToGU | |
| 856 | 7 | _uhttp://vital.lib.tsu.ru/vital/access/manager/Repository/vtls:000473318 | |
| 908 | _aстатья | ||
| 999 | _c349128 | ||