雷津主编2012 年出版166 页ISBN：9787506756082
本书内容翔实，资料丰富，实用性强，既有教育引导，又有分析警示，可供医药及相关专业高职学校、成人学校作为教材使用及在职人员的培训自学。...
赵正旭，温晋杰，赵卫华著2015 年出版145 页ISBN：9787030447876
形式化方法Z是一种基于一阶谓词逻辑和集合论的规格说明语言。其基本思想是利用一些已知特性的数学抽象来为目标软件系统的状态特征和行为特征构造模型。在需求规格说明中，Z语言精确的描述软件系统”做什么”...
