В монографии рассматривается общее диагностическое обеспечение вычислительных систем. Используется аксиоматический метод и теория формальных систем. Много примеров, интерпретирующих использование указанной теории. Описана технология баз знаний для представления всех видов диагностического обеспечения.Библиография содержит 134 наименования. По тексту имеется 44 иллюстрации: схемы, графы, структарные рисунки.
