Scientific Library of Tomsk State University

   E-catalog        

Normal view MARC view

Синтез тестов для проверки взаимодействия дискретных управляющих систем методами теории автоматов (Record no. 212002)

000 -Маркер записи
Контрольное поле постоянной длины 02907nam a2200541 4500
001 - Контрольный номер
Контрольное поле vtls000194950
005 - Дата корректировки
Контрольное поле 20240426161730.0
008 - Кодируемые данные
Контрольное поле постоянной длины 050309s2005 ru a f bm 000 0 rus d
035 ## - Системный контрольный номер
Системный контрольный номер 0200-00860
040 ## - Источник каталогиз.
Служба первич. каталог. RU-ToGU
Код языка каталог. rus
Служба, преобразующая запись RU-ToGU
Правила каталог. PSBO
080 ## - Индекс УДК
Индекс УДК 681.5.01(043.3)
080 ## - Индекс УДК
Индекс УДК 519.718.7:519.713(043.3)
100 1# - Автор
Автор Спицына, Наталия Владимировна.
9 (RLIN) 282600
245 10 - Заглавие
Заглавие Синтез тестов для проверки взаимодействия дискретных управляющих систем методами теории автоматов
Продолж. заглавия диссертация на соискание ученой степени кандидата технических наук. 05.13.01
Ответственность Спицина Наталия Владимировна ; науч. рук. Н. В. Евтушенко ; Том. гос. ун-т
260 ## - Выходные данные
Место издания Томск
Издательство [б. и.]
Дата издания 2005
300 ## - Физическое описание
Объем 154,[5] л.
Иллюстрации/тип воспроизводства ил.
504 ## - Библиография
Библиография Библиогр.: л. 146-153
653 ## - Ключевые слова
Ключевые слова диссертации.
653 ## - Ключевые слова
Ключевые слова управляющие системы дискретные.
653 ## - Ключевые слова
Ключевые слова метод теории автоматов.
653 ## - Ключевые слова
Ключевые слова синтез тестов.
653 ## - Ключевые слова
Ключевые слова модели дискретных систем.
653 ## - Ключевые слова
Ключевые слова сетевые протоколы.
653 ## - Ключевые слова
Ключевые слова конечные автоматы.
653 ## - Ключевые слова
Ключевые слова взаимодействие дискретных систем.
653 ## - Ключевые слова
Ключевые слова тесты проверяющие.
653 ## - Ключевые слова
Ключевые слова тестирование условное.
653 ## - Ключевые слова
Ключевые слова тестирование безусловное.
653 ## - Ключевые слова
Ключевые слова модели неисправности.
653 ## - Ключевые слова
Ключевые слова автоматы мутационные.
653 ## - Ключевые слова
Ключевые слова автоматов композиции.
653 ## - Ключевые слова
Ключевые слова алгоритмы теста проверяющего полного.
653 ## - Ключевые слова
Ключевые слова полуавтоматов композиции.
653 ## - Ключевые слова
Ключевые слова формальных языков композиции.
653 ## - Ключевые слова
Ключевые слова конечных автоматов композиции.
653 ## - Ключевые слова
Ключевые слова автоматные уравнения.
653 ## - Ключевые слова
Ключевые слова уравнения формальных языков.
653 ## - Ключевые слова
Ключевые слова отношения неразделимости.
653 ## - Ключевые слова
Ключевые слова программные реализации протоколов.
653 ## - Ключевые слова
Ключевые слова автоматизация тестирования.
653 ## - Ключевые слова
Ключевые слова архитектура тестера.
653 ## - Ключевые слова
Ключевые слова тестирование POP3-сервера.
700 1# - Другие авторы
Другие авторы Евтушенко, Нина Владимировна
Код отношения sad
9 (RLIN) 70064
710 2# - Другие организации
Организация/юрисдикция Томский государственный университет.
9 (RLIN) 53646
852 4# - Местонахождение единицы хранения
Код организации-хранителя RU-ToGU
Полочный индекс 1-916547к
Авторский знак 519.7
Код страны ru
999 ## - Системные контрольные номера (Koha)
biblionumber (Koha) 212002
Holdings
Не выдается Отсутствует на месте Поврежден Исходное место хранения Местоположение Дата поступления Цена Всего выдач Расстановочный шифр Штрих-код Номер копии Класс экземпляра
      Научная библиотека ТГУ Книгохранилище 03/04/2021 100.00   1-916547к 51 13820000468084 1 Выдается в читальный зал