Разработка методов синтеза проверяющих тестов для сетей из конечных автоматов

Тренькаев, Вадим Николаевич. Разработка методов синтеза проверяющих тестов для сетей из конечных автоматов : диссертация ... кандидата технических наук : 05.13.01.- Томск, 2000.- 189 с.: ил. РГБ ОД, 61 00-5/2704-7
Автор
Тренькаев, Вадим Николаевич
Год
2000

  • 99 000 UZS

Рекомендуем вам товары

Проблемы коммутации и синхронной передачи информации в суперЭВМ
99 000 UZS
Автор
Пучков, Игорь Иванович
Количество страниц
Год
2000
Модели и алгоритмы управления в тренажерах для операторов морских буровых комплексов
99 000 UZS
Автор
Савкина, Анастасия Васильевна
Количество страниц
Год
2000
Комплексная модель управления посадкой самолетов
99 000 UZS
Автор
Тхам Дык Фыонг
Количество страниц
Год
2000
Модели и алгоритмы выбора надежных вариантов многопроцессорных вычислительных комплексов оперативного управления сложными техническими системами
99 000 UZS
Автор
Тынченко, Сергей Васильевич
Количество страниц
Год
2000
Разработка архитектуры и компонентов САУ РВ повышенной надежности
99 000 UZS
Автор
Хамиду Хама Амаду Туджани
Количество страниц
Год
2000
Новостной блок
Модули для Opencart 2, Опенкарт 3