软件工程形式化

【文件属性】：

文件名称：软件工程形式化

文件大小：920KB

文件格式：PDF

更新时间：2016-01-10 07:03:15

形式化 代数规范 范畴论 型论

武汉大学软件工程国家重点实验室讲义,是软件工程领域形式化\语义逻辑必须有的知识储备