Геннадий Кайгородцев

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