Refine your search
Availability
-
Bibliographic level
- Книги (3)
-
Authors
- Евтушенко, Нина Владимировна [x]
- Громов, Максим Леонидович (1)
- Рекун, М. В. (1)
- Спицына, Наталия Владимировна (1)
- Тихомирова, Светлана Владимировна (1)
- Шабалдина, Наталия Владимировна (1)
- Show more
- Show less
-
Locations
- Абонемент. Депозитарий (2)
- Книгохранилище (2)
- Абонемент (1)
-
Item types
- Выдается в читальный зал (2)
- 6 месяцев (2)
-
Topics
- конечные автоматы (3)
- автоматные уравнения [x]
- отношения эквивалентности (2)
- редукции автомата (2)
- теория автоматов (2)
- тестирование автоматов (2)
- учебные пособия для вузов (2)
- "черный ящик", модель (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)
- синтез тестов (1)
- тестирование POP3-сервера (1)
- тестирование безусловное (1)
- тестирование условное (1)
- тесты проверяющие (1)
- тесты проверяющие, синтез (1)
- управляющие системы дискретные (1)
- уравнения формальных языков (1)
- формальных языков композиции (1)
- Show more
- Show less