Исследование и разработка конечно-автоматных методов синтеза проверяющих тестов для управляющих систем: автореферат диссертации на соискание ученой степени кандидата технических наук; спец. 05.13.01
| Autor principal: | |
|---|---|
| Autor Corporativo: | |
| Outros Autores: | |
| Resumo: | Защита сост. 27.05.2007 г. в ТГУ Заглавие с экрана Электронная версия печатной публикации. Режим доступа: по договору с организацией-держателем ресурса |
| Idioma: | russo |
| Publicado em: |
Томск, 2007
|
| Assuntos: | |
| Acesso em linha: | http://elibrary.ru/item.asp?id=15857683& |
| Formato: | MixedMaterials Recurso Electrónico Livro |
| KOHA link: | https://koha.lib.tpu.ru/cgi-bin/koha/opac-detail.pl?biblionumber=641298 |
MARC
| LEADER | 00000nlm0a2200000 4500 | ||
|---|---|---|---|
| 001 | 641298 | ||
| 005 | 20231102025133.0 | ||
| 035 | |a (RuTPU)RU\TPU\network\6198 | ||
| 035 | |a RU\TPU\network\5758 | ||
| 090 | |a 641298 | ||
| 100 | |a 20150515d2007 k y0rusy50 ca | ||
| 101 | 0 | |a rus | |
| 102 | |a RU | ||
| 105 | |a y dm 000zy | ||
| 135 | |a drcn ---uucaa | ||
| 181 | 0 | |a i | |
| 182 | 0 | |a b | |
| 200 | 1 | |a Исследование и разработка конечно-автоматных методов синтеза проверяющих тестов для управляющих систем |e автореферат диссертации на соискание ученой степени кандидата технических наук |e спец. 05.13.01 |f М. Ю. Дорофеева |g Национальный исследовательский Томский государственный университет (ТГУ) ; науч. рук. Н. В. Евтушенко | |
| 203 | |a Текст |c электронный | ||
| 210 | |a Томск |d 2007 | ||
| 300 | |a Защита сост. 27.05.2007 г. в ТГУ | ||
| 300 | |a Заглавие с экрана | ||
| 300 | |a Электронная версия печатной публикации. | ||
| 333 | |a Режим доступа: по договору с организацией-держателем ресурса | ||
| 606 | 1 | |a Информационно-управляющие системы |x Автоматика |2 stltpush |3 (RuTPU)RU\TPU\subj\12920 |9 39620 | |
| 610 | 1 | |a авторефераты диссертаций | |
| 610 | 1 | |a электронный ресурс | |
| 610 | 1 | |a труды учёных ТПУ | |
| 610 | 1 | |a управляющие системы | |
| 610 | 1 | |a тесты | |
| 610 | 1 | |a конечные автоматы | |
| 610 | 1 | |a синтез | |
| 675 | |a 681.518(04) |v 3 | ||
| 700 | 1 | |a Дорофеева |b М. Ю. |c специалист в области информатики и вычислительной техники |c программист Томского политехнического университета, кандидат технических наук |c директор центра организации и мониторинга образовательной деятельности |f 1979- |g Маргарита Юрьевна |2 stltpush |3 (RuTPU)RU\TPU\pers\31100 | |
| 702 | 1 | |a Евтушенко |b Н. В. |g Нина Владимировна |4 727 | |
| 712 | 0 | 2 | |a Национальный исследовательский Томский государственный университет (ТГУ) |c (2009- ) |2 stltpush |3 (RuTPU)RU\TPU\col\17230 |
| 801 | 2 | |a RU |b 63413507 |c 20160516 |g RCR | |
| 856 | 4 | |u http://elibrary.ru/item.asp?id=15857683& | |
| 942 | |c CF | ||