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

百检网 2021-07-14

标准号：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、检测报告权威有效、中国通用；

客户案例展示

上一篇《ASTM E2320-2004 热环境和室内空气条件下办公室设备适用性的标准分类》

下一篇《ASTM A213/A213M-2004 》

版权与免责声明

①本网注名来源于“互联网”的所有作品，版权归原作者或者来源机构所有,如果有涉及作品内容、版权等问题，请在作品发表之日起一个月内与本网联系，联系邮箱service@baijiantest.com，否则视为默认百检网有权进行转载。

②本网注名来源于“百检网”的所有作品，版权归百检网所有，未经本网授权不得转载、摘编或利用其它方式使用。想要转载本网作品，请联系:service@baijiantest.com。已获本网授权的作品，应在授权范围内使用，并注明"来源：百检网"。违者本网将追究相关法律责任。

③本网所载作品仅代表作者独立观点，不代表百检立场，用户需作出独立判断，如有异议或投诉，请联系service@baijiantest.com