CSA ISO/IEC 13568-2004 标准详情
- 标准号：CSA ISO/IEC 13568-2004
- 中文标题：信息技术 - z形式化描述符号 - 语法，类型系统和语义
- 英文标题：Information Technology - Z Formal Specification Notation - Syntax, Type System And Semantics
- 标准类别：加拿大CSA
- 发布日期：
CSA ISO/IEC 13568-2004 信息技术 - z形式化描述符号 - 语法，类型系统和语义
内容简介
Defines- - 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; - LATEX [10] and e-mail mark-ups of the Z notation.
* 特别声明：资源收集自网络或用户上传，本网站所提供的电子文本仅供参考，请以正式出版物为准。仅供个人标准化学习，研究使用。如有侵权，请及时联系我们！
- 标准质量：
- ① 欢迎分享本站未收录或质量优于本站的标准，期待。
② 仅供网友学习交流，若侵犯了您的权益，请联系我们予以删除。
③ 代购正版，联系：