形式化规约——Z语言

【文件属性】：

文件名称：形式化规约——Z语言

文件大小：885KB

文件格式：PDF

更新时间：2021-01-16 08:40:00

形式化规约 形式化方法 Z语言

形式化规约，形式化方法，Z语言，主要与软件开发的形式化方法有关。