第3届程序构造中的数学国际会议概述

第3届程序构造中的数学国际会议(MPC’95)于1995年7月17—21日在德国克劳斯特依俄西召开。会议论文刊登在Lecture Notes In Computer Science第947卷上。与会者70多人,主要来自欧洲和美国。会上宣读论文24篇,分为8个专题,其中5篇为特邀演讲。慕尼黑技术大学的M.Broy教授演讲的题目为"软件工程的数学"。