DS/ISO/IEC 13568-2003 标准详情
- 标准号：DS/ISO/IEC 13568-2003
- 中文标题：信息技术 - z正式的规范符号 - 语法，类型系统和语义
- 英文标题：Information technology - Z formal specification notation - Syntax, type system and semantics
- 标准类别：丹麦DANSK
- 发布日期：2003-02-11
DS/ISO/IEC 13568-2003 信息技术 - z正式的规范符号 - 语法，类型系统和语义
内容简介
The following are within the scope of this International Standard: - the syntax of the Z notation - the type system of the Z notation - the semantics of the Z notation - a toolkit of widely used mathematical operators - some mark-ups of the Z notatio
* 特别声明：资源收集自网络或用户上传，本网站所提供的电子文本仅供参考，请以正式出版物为准。仅供个人标准化学习，研究使用。如有侵权，请及时联系我们！
- 标准质量：
- ① 欢迎分享本站未收录或质量优于本站的标准，期待。
② 仅供网友学习交流，若侵犯了您的权益，请联系我们予以删除。
③ 代购正版，联系：