Z 语言: 规格说明语言 上传者：zxllstar 2019-07-23 11:32:46上传 RAR文件 2.94MB 热度 64次 Z语言是一种以一阶谓词演算为主要理论基础的规约语言,是一种功能性语言。形式化描述语言Z指的是著名数学家Zermelo，它是目前使用最广泛的一种形式化描述语言，在软件产业的一些大型项目中已经获得成功的应用， 下载地址 用户评论 更多下载 下载地址 立即下载 用户评论 码姐姐匿名网友 2019-07-23 11:32:46 很有用，z的资料比较难找，谢谢 发表评论
很有用，z的资料比较难找，谢谢