Refine your search
Availability
-
Bibliographic level
- Книги [x]
-
Authors
- Евтушенко, Нина Владимировна [x]
- Громов, Максим Леонидович (2)
- Ветрова, Мария Викторовна (1)
- Ермаков, Антон Дмитриевич (1)
- Жигулин, Максим Владимирович (1)
- Петренко, Александр Федорович (1)
- Рекун, М. В. (1)
- Спицына, Наталия Владимировна (1)
- Тихомирова, Светлана Владимировна (1)
- Шабалдина, Наталия Владимировна (1)
- Show more
- Show less
-
Locations
- Книгохранилище (6)
- Абонемент. Депозитарий (3)
- Абонемент (2)
-
Item types
- Выдается в читальный зал (6)
- 6 месяцев (3)
-
Topics
- диссертации (4)
- конечные автоматы (4)
- теория автоматов (4)
- автоматы конечные (3)
- отношения эквивалентности (3)
- редукции автомата (3)
- тестирование автоматов (3)
- учебные пособия для вузов (3)
- Мили автоматы (2)
- Мура автоматы (2)
- автоматные модели (2)
- автоматные отображения (2)
- автоматные уравнения (2)
- автоматные языки (2)
- автоматы временные (2)
- автоматы мутационные (2)
- анализ автоматов (2)
- недетерминированные автоматы (2)
- отношения совместимости (2)
- синтез автоматов (2)
- "черный ящик", модель (1)
- Java Path Finder (JPF), инструмент для проверки многопоточных Java программ (1)
- TFTP, телекоммуникационный протокол (1)
- Системный анализ, управление и обработка информации (в отраслях информатики, вычислительной техники и автоматизации) (1)
- автоматизация тестирования (1)
- автоматные уравнения синхронные (1)
- автоматов композиции (1)
- автоматы входо-выходные (1)
- автоматы конечные недетерминированные (1)
- автоматы расширенные (1)
- алгоритмы теста проверяющего полного (1)
- архитектура тестера (1)
- верификация (1)
- взаимодействие дискретных систем (1)
- компьютерные эксперименты (1)
- конечных автоматов композиции (1)
- метод теории автоматов (1)
- методы теории автоматов (1)
- модели дискретных систем (1)
- модели неисправности (1)
- недереминированные автоматы, синтез (1)
- недетерминированные автоматы, анализ (1)
- отношения неразделимости (1)
- отношения редукции (1)
- пакет программ поиска уязвимостей в программном обеспечении (1)
- полуавтоматов композиции (1)
- проверка безопасности программного обеспечения (1)
- программные реализации протоколов (1)
- программы-верификаторы (1)
- сетевые протоколы (1)
- Show more
- Show less