Ленинград: Энергоатомиздат, 1984. — 113 с.
Книга посвящена вопросам синтеза дискретных автоматов, обладающих свойством обнаружения отказов в процессе функционирования. Излагаемые методы синтеза основаны на применении для кодирования состояний автоматов кодов с постоянным весом. Описываются способы реализации самоконтролирующихся контрольных схем. Синтезированы типовые узлы вычислительных устройств Книга имеет практическую направленность: большинство методов сформулировано в виде алгоритмов, пригодных для практического использования при решении инженерных задач. Методы иллюстрируются примерами.