Метрическая теория программ, созданная М. Холстедом около трех десятков лет назад, в данном учебнике изложена концептуально и математически как одно из приложений алгоритмической теории сложности. Это позволило придать ей не только логическую последовательность, но и уточнить смысл базовых понятий; кроме того, впервые дать строгую оценку точности основных соотношений, составляющих ядро расчетных методов программной инженерии. Предложенный в учебнике алгоритм расчета характеристик и трудоемкости программного обеспечения является, по существу, аналогом метода функциональных точек, параметры и количество которых определяются на основе этой теории. Учебник предназначен для студентов вузов, специализирующихся в области прикладной информатики (по областям применения), а также для специалистов, занятых проектированием и разработкой как прикладного, так и системного программного обеспечения больших информационных систем.