当前位置: 首页 > 国际标准 > ANSI 美国国家标准 > ANSI/INCITS/ISO/IEC 13568-2002 信息技术.程序设计语言.Z格式规范语言
ANSI/INCITS/ISO/IEC 13568-2002 信息技术.程序设计语言.Z格式规范语言

ANSI/INCITS/ISO/IEC 13568-2002 信息技术.程序设计语言.Z格式规范语言

prev next

  • 商品货号:INFOEACH_161265
  • 商品品牌:美国国家标准学会 ANSI
    商品重量:0克
  • 上架时间:2022-01-25
    商品点击数:5525
  • 用户评价: comment rank 5
  • 本店售价:请咨询客服
  • 点击此处进入论坛自助下载

资料描述

【英文标准名称】: Information technology - Programming Languages - Z Specification Language
【原文标准名称】: 信息技术.程序设计语言.Z格式规范语言
【标准号】: ANSI/INCITS/ISO/IEC 13568-2002
【标准状态】: 现行
【国别】: 美国
【发布日期】: 2002
【实施或试行日期】:
【发布单位】: 美国国家标准学会(US-ANSI)
【起草单位】: ANSI
【标准类型】: ()
【标准水平】: ()
【中文主题词】: 数据元素;数据处理;数据表示;定义;(数据)格式;信息交换;信息技术;符号;表示法;语义学;句法
【英文主题词】: Data elements;Data processing;Data representation;Definition;Definitions;Formats;Information interchange;Information technology;Notation;Representations;Semantics;Syntax
【摘要】: 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; L A T E X [10] and e-mail mark-ups of the Z notation.
【中国标准分类号】: L74
【国际标准分类号】: 35_060
【页数】:
【正文语种】: 英语

相关资料