ANSI ISO/IEC 13568-2002 信息技术.被INCITS采用的Z正式规格说明符号语法、类型系统和语义学

百检网 2021-08-02
标准号:ANSI ISO/IEC 13568-2002
中文标准名称:信息技术.被INCITS采用的Z正式规格说明符号语法、类型系统和语义学
英文标准名称:Information technology Z formal specification notation Syntax, type system and semantics Adopted by INCITS
标准类型:L70;L74
发布日期:2002/7/1 12:00:00
实施日期:1999/12/31 12:00:00
中国标准分类号:L70;L74
国际标准分类号:35.060
适用范围: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.

百检能给您带来哪些改变?

1、检测行业全覆盖,满足不同的检测;

2、实验室全覆盖,就近分配本地化检测;

3、工程师一对一服务,让检测更精准;

4、免费初检,初检不收取检测费用;

5、自助下单 快递免费上门取样;

6、周期短,费用低,服务周到;

7、拥有CMA、CNAS、CAL等权威资质;

8、检测报告权威有效、中国通用;

客户案例展示

  • 上海朗波王服饰有限公司
  • 浙江圣达生物药业股份有限公司
  • 天津市长庆电子科技有限公司
  • 上海纽特丝纺织品有限公司
  • 无锡露米娅纺织有限公司
  • 东方电气风电(凉山)有限公司