Зведений каталог бібліотек Харкова
Бурдонов, И. Б. Неизбыточные алгоритмы обхода ориентированных графов. Детерминированный случай. [Текст] / Институт системного программирования РАН // Программирование. 5 , 2003. — С. 11-30.
- Анотація:
Рассматриваются проблемы тестирования программных систем, моделируемых детерминированными конечными автоматами.
- Є складовою частиною документа:
Программирование [Текст] // Программирование ; РАН - М. : Наука. — 2003.
- Теми документа
