Event-B Language

【文件属性】：

文件名称：Event-B Language

文件大小：994KB

文件格式：PDF

更新时间：2016-01-15 09:46:29

形式化 Event-B

本文档是Event-B形式化方法的参考书，书中包含Event-B结构与语法介绍；数学证明；符合表示