LEADER 01762nab a2200313 i 4500
001 vtls000435824
003 RU-ToGU
005 20230319191536.0
007 cr |
008 170612 2012 ru s c rus d
035 |a to000435824 
039 9 |a 201706122149  |c 201210291024  |d VLOAD  |c 201210291011  |d cat202  |y 201210251038  |z Александр Эльверович Гилязов 
040 |a RU-ToGU  |b rus  |c RU-ToGU 
100 1 |a Шабалдина, Наталия Владимировна  |9 79067 
245 1 0 |a К построению проверяющих тестов для недетерминированных автоматов с тайм-аутами  |c Н. В. Шабалдина, Р. Ф. Галимуллин 
504 |a Библиогр.: 9 назв. 
653 |a недетерминированные автоматы 
653 |a тайм-ауты 
653 |a программирование 
653 |a проверяющие тесты 
655 4 |a статьи в журналах  |9 879358 
700 1 |a Галимуллин, Рустам Фанисович  |9 95130 
710 2 |a Томский государственный университет  |b Радиофизический факультет  |b Кафедра информационных технологий в исследовании дискретных структур  |9 81023 
773 0 |t Программирование  |d 2012  |g № 3. С. 36-44  |x 0132-3474  |w 0028-56860 
852 4 |a RU-ToGU 
856 7 |u http://vital.lib.tsu.ru/vital/access/manager/Repository/vtls:000435824 
856 |y Перейти в каталог НБ ТГУ  |u https://koha.lib.tsu.ru/cgi-bin/koha/opac-detail.pl?biblionumber=322883 
908 |a статья 
999 |c 322883  |d 322883