Scientific Library of Tomsk State University

   E-catalog        

Image from Google Jackets
Normal view MARC view

Синтез тестов для проверки взаимодействия дискретных управляющих систем методами теории автоматов диссертация на соискание ученой степени кандидата технических наук. 05.13.01 Спицина Наталия Владимировна ; науч. рук. Н. В. Евтушенко ; Том. гос. ун-т

By: Спицына, Наталия ВладимировнаContributor(s): Евтушенко, Нина Владимировна [sad] | Томский государственный университетMaterial type: TextTextPublication details: Томск [б. и.] 2005Description: 154,[5] л. илSubject(s): диссертации | управляющие системы дискретные | метод теории автоматов | синтез тестов | модели дискретных систем | сетевые протоколы | конечные автоматы | взаимодействие дискретных систем | тесты проверяющие | тестирование условное | тестирование безусловное | модели неисправности | автоматы мутационные | автоматов композиции | алгоритмы теста проверяющего полного | полуавтоматов композиции | формальных языков композиции | конечных автоматов композиции | автоматные уравнения | уравнения формальных языков | отношения неразделимости | программные реализации протоколов | автоматизация тестирования | архитектура тестера | тестирование POP3-сервера
Tags from this library: No tags from this library for this title. Log in to add tags.
Holdings
Item type Current library Call number Copy number Status Date due Barcode
Выдается в читальный зал Научная библиотека ТГУ Книгохранилище 1-916547к 51 (Browse shelf(Opens below)) 1 Available 13820000468084
Browsing Научная библиотека ТГУ shelves, Shelving location: Книгохранилище Close shelf browser (Hides shelf browser)
No cover image available No cover image available No cover image available No cover image available No cover image available No cover image available No cover image available
1-916544к 53 Гидродинамика и процессы усреднения гранулированных материалов в аппаратах порошковой технологии диссертация на соискание ученой степени кандидата физико-математических наук. 01.02.05 1-916545к 535 Спектральная фильтрация интерферометром фабри-перо лидарных откликов вращательного комбинационного рассеяния света диссертация на соискание ученой степени кандидата физико-математических наук. 01.04.05 1-916546к Ю Поэзия как эстетическое основание онтологии культуры диссертация на соискание ученой степени кандидата философских наук. 24.00.01 1-916547к 51 Синтез тестов для проверки взаимодействия дискретных управляющих систем методами теории автоматов диссертация на соискание ученой степени кандидата технических наук. 05.13.01 1-916548к 53 Математическое моделирование некоторых задач пограничного слоя в газовзвесях диссертация на соискание ученой степени кандидата физико-математических наук. 01.02.05 1-916549к Исследование математических моделей процессов государственного пенсионного страхования диссертация на соискание ученой степени кандидата физико-математических наук. 05.13.18 1-916550к Сравнительное изучение подвидов Linum usitatissimum L. в условиях Западной Сибири диссертация на соискание ученой степени кандидата биологических наук. 03.00.05

Библиогр.: л. 146-153

There are no comments on this title.

to post a comment.