你好
,欢迎来到试验技术专业知识服务系统
平台首页
中国工程院
中国工程科技知识中心
切换导航
首页
专题服务
认证认可
应急专栏
标准物质
仪器仪表
汽车
增材制造
专业工具服务
临界差在线计算
质控图在线生成
稳健统计
F检验
t检验
尧敦图
不确定度在线计算
资源服务
检测实验室服务能力查询
校准实验室服务能力查询
检测机构需求VS能力验证服务工具
实验室仪器对比查询
能力验证服务一览表和查询服务
优质检测机构Top10
试验人员能力查询
CSTM质量评价结果发布平台
数据分析可视化
试验方法对比
机构能力变化趋势分析
机构间技术能力对比
标准适用性对比
实验室综合能力评价
产品质量检测技术能力评价
行业资讯
登录 / 注册
信息技术.Z形式规范注释.语法、类型系统和语义学
标准编号
BS ISO/IEC 13568-2002
中图分类号
L70
ICS分类号
35_060
发布单位
英国标准学会(BSI)
状态
现行
标准类别
国际标准
发布日期
2002-08-08
实施日期
2002-08-08
相似标准
信息技术.Z格式规范标志法.语法,形式系统和语义学
(ISO/IEC 13568-2002)
信息技术.被INCITS采用的Z正式规格说明符号语法、类型系统和语义学
(ANSI ISO/IEC 13568-2002)
信息技术.Z格式规范标志法.句法、形式系统和语义学.技术勘误1
(ISO/IEC 13568 Technical Corrigendum 1-2007)
信息技术.程序设计语言.Z格式规范语言
(ANSI/INCITS/ISO/IEC 13568-2002)
交通和旅行信息(TTI).通过传送协议专家组(TPEG)的数据流的TTI.语法、语义学和框架结构(SSF)
(BS DD CEN ISO/TS 18234-2-2006)
信息技术.开放分布处理.参考模型:体系结构语义学.修改件1:计算形式化
(ISO/IEC 10746-4 AMD 1-2001)
信息技术.开式系统互连.抽象语法符号-1(ASN.1)的基本编码原则的规范
(BS ISO/IEC 8825-1991)
信息技术.开式系统互连.抽象语法符号-1(ASN.1)规范
(BS ISO/IEC 8824-1991)
信息技术.编程语言及其环境和系统软件接口.JEFF文件形式
(BS ISO/IEC 20970-2002)
地下水数据交换的语义学
(BS EN 14968-2006)
×
我的收藏-提示信息
已有收藏
:
新增
: