Stav dette: Математика программных систем: Межвузовский сборник научных трудов