Z形式规范注释.语法、类型系统和语义学 英文名称： Information technology - Z formal specification notation - Syntax, type system and semantics 页数： 8 采用标准： ISO/IEC 13568-2002,IDT 被替代标准..
基于12个网页-相关网页
z形式规范注释
2 .中文意思
以上为机器翻译结果，长、整句建议使用 人工翻译 。
应用推荐
模块上移
模块下移
不移动