Z语言--一种形式化描述语言

【文件属性】：

文件名称：Z语言--一种形式化描述语言

文件大小：648KB

文件格式：PDF

更新时间：2012-11-03 13:57:56

Z语言

一种形式化描述语言，用于建模！是一种基于数学的形式化描述语言！