标准编号：BS ISO/IEC 13568-200
标准名称：信息技术.Z形式规范注释.语法、类型系统和语义学
英文名称：Information technology - Z formal specification notation - Syntax, type system and semantics
发布部门：
发布日期：2002-08-08
实施日期：2002-08-08
标准状态：现行
文件格式：PDF
站内资源均来自网友分享或网络收集整理，若无意中侵犯到您的权利，敬请联系我们，我们将及时删除相关资源。