Normal view
MARC view
Алгоритмы синтеза проверяющих тестов для управляющих систем на основе расширенных автоматов (Record no. 277840)
[ view plain ]
| 000 -Маркер записи | |
|---|---|
| Контрольное поле постоянной длины | 02545nam a2200409 i 4500 |
| 001 - Контрольный номер | |
| Контрольное поле | vtls000391861 |
| 005 - Дата корректировки | |
| Контрольное поле | 20240426161731.0 |
| 008 - Кодируемые данные | |
| Контрольное поле постоянной длины | 100915s2010 ru a f bm 000 0 rus d |
| 035 ## - Системный контрольный номер | |
| Системный контрольный номер | to000391861 |
| 040 ## - Источник каталогиз. | |
| Служба первич. каталог. | RU-ToGU |
| Код языка каталог. | rus |
| Служба, преобразующая запись | RU-ToGU |
| 072 #7 - Код предметной/темат. категории | |
| Код предметной/темат. категории | 05.13.01 |
| Источник кода | nsnr |
| 080 ## - Индекс УДК | |
| Индекс УДК | 519.713:519.718.7:004.42(043.3) |
| 080 ## - Индекс УДК | |
| Индекс УДК | 681.511.22.011/015(043.3) |
| 100 1# - Автор | |
| Автор | Коломеец, Антон Владимирович |
| 9 (RLIN) | 79068 |
| 245 10 - Заглавие | |
| Заглавие | Алгоритмы синтеза проверяющих тестов для управляющих систем на основе расширенных автоматов |
| Продолж. заглавия | диссертация на соискание ученой степени кандидата технических наук : 05.13.01 |
| Ответственность | Коломеец Антон Владимирович ; науч. рук. Евтушенко Н. В. ; Том. гос. ун-т |
| 260 ## - Выходные данные | |
| Место издания | Томск |
| Издательство | [б. и.] |
| Дата издания | 2010 |
| 300 ## - Физическое описание | |
| Объем | 129,[1] |
| Иллюстрации/тип воспроизводства | ил. |
| 504 ## - Библиография | |
| Библиография | Библиогр.: л. 98 - 108 |
| 650 #7 - Тематические рубрики | |
| Основная рубрика | Системный анализ, управление и обработка информации (в отраслях информатики, вычислительной техники и автоматизации) |
| Источник рубрики | nsnr |
| 9 (RLIN) | 114005 |
| 653 ## - Ключевые слова | |
| Ключевые слова | диссертации |
| 653 ## - Ключевые слова | |
| Ключевые слова | автоматы расширенные мутационные |
| 653 ## - Ключевые слова | |
| Ключевые слова | автоматы конечные |
| 653 ## - Ключевые слова | |
| Ключевые слова | синтез тестов проверяющих (кибернетика математическая) |
| 653 ## - Ключевые слова | |
| Ключевые слова | модели неисправности (теория автоматов) |
| 653 ## - Ключевые слова | |
| Ключевые слова | FSM-срез автомата расширенного |
| 653 ## - Ключевые слова | |
| Ключевые слова | автоматы различающие |
| 653 ## - Ключевые слова | |
| Ключевые слова | тесты проверяющие, алгоритмы |
| 653 ## - Ключевые слова | |
| Ключевые слова | программная реализация алгоритмов, генерация |
| 653 ## - Ключевые слова | |
| Ключевые слова | дискретные управляющие системы |
| 653 ## - Ключевые слова | |
| Ключевые слова | программная реализация алгоритмов, ошибки |
| 653 ## - Ключевые слова | |
| Ключевые слова | автоматы расширенные, ошибки |
| 700 1# - Другие авторы | |
| Другие авторы | Евтушенко, Нина Владимировна |
| Код отношения | ths |
| 9 (RLIN) | 70064 |
| 710 2# - Другие организации | |
| Организация/юрисдикция | Томский государственный университет. |
| 9 (RLIN) | 53646 |
| 852 4# - Местонахождение единицы хранения | |
| Код организации-хранителя | RU-ToGU |
| Код страны | ru |
| 999 ## - Системные контрольные номера (Koha) | |
| biblionumber (Koha) | 277840 |
| Не выдается | Отсутствует на месте | Поврежден | Исходное место хранения | Местоположение | Дата поступления | Цена | Всего выдач | Расстановочный шифр | Штрих-код | Класс экземпляра |
|---|---|---|---|---|---|---|---|---|---|---|
| Научная библиотека ТГУ | Книгохранилище | 04/04/2021 | 700.00 | 1-971128к | 13820000731556 | Выдается в читальный зал |