Normal view
MARC view
Разработка методов синтеза проверяющих тестов для сетей из конечных автоматов (Record no. 78234)
[ view plain ]
000 -Маркер записи | |
---|---|
Контрольное поле постоянной длины | 01499nam a2200301 4500 |
001 - Контрольный номер | |
Контрольное поле | vtls000076296 |
005 - Дата корректировки | |
Контрольное поле | 20221228144312.0 |
008 - Кодируемые данные | |
Контрольное поле постоянной длины | 000829s2000 ru a f bm 00| 0 rus d |
035 ## - Системный контрольный номер | |
Системный контрольный номер | 0079-35360 |
040 ## - Источник каталогиз. | |
Служба первич. каталог. | RU-ToGU |
Код языка каталог. | rus |
Служба, преобразующая запись | RU-ToGU |
Правила каталог. | PSBO |
080 ## - Индекс УДК | |
Индекс УДК | 519.713.1(043.3) |
080 ## - Индекс УДК | |
Индекс УДК | 519.718.7(043.3) |
100 1# - Автор | |
Автор | Тренькаев, Вадим Николаевич |
9 (RLIN) | 69278 |
245 10 - Заглавие | |
Заглавие | Разработка методов синтеза проверяющих тестов для сетей из конечных автоматов |
Продолж. заглавия | диссертация на соискание ученой степени кандидата технических наук : 05.13.01 |
Ответственность | Тренькаев Вадим Николаевич ; Том. гос. ун-т ; науч. рук. Н. В. Евтушенко |
260 ## - Выходные данные | |
Место издания | Томск |
Дата издания | 2000 |
300 ## - Физическое описание | |
Объем | 182 л. |
Иллюстрации/тип воспроизводства | граф. |
504 ## - Библиография | |
Библиография | Библиогр.: л. 177-182 |
653 ## - Ключевые слова | |
Ключевые слова | диссертации. |
653 ## - Ключевые слова | |
Ключевые слова | теория автоматов. |
653 ## - Ключевые слова | |
Ключевые слова | детерминированные автоматы. |
653 ## - Ключевые слова | |
Ключевые слова | недетерминированные автоматы. |
653 ## - Ключевые слова | |
Ключевые слова | тесты. |
653 ## - Ключевые слова | |
Ключевые слова | синтез. |
710 2# - Другие организации | |
Организация/юрисдикция | Томский государственный университет. |
9 (RLIN) | 53646 |
852 4# - Местонахождение единицы хранения | |
Код организации-хранителя | RU-ToGU |
Полочный индекс | 1-838305к |
Авторский знак | 519.713 |
Код страны | ru |
999 ## - Системные контрольные номера (Koha) | |
biblionumber (Koha) | 78234 |
Не выдается | Отсутствует на месте | Поврежден | Исходное место хранения | Местоположение | Дата поступления | Цена | Всего выдач | Расстановочный шифр | Штрих-код | Номер копии | Класс экземпляра |
---|---|---|---|---|---|---|---|---|---|---|---|
Научная библиотека ТГУ | Книгохранилище | 02/04/2021 | 50.00 | 1-838305к | 13820000197615 | 1 | Выдается в читальный зал |