T/CIE 095-2020
区块链智能合约形式化表达

T/CIE 095-2020 发布历史

T/CIE 095-2020由中国团体标准 CN-TUANTI 发布于 2020-12-21，并于 2021-01-01 实施。

T/CIE 095-2020 在中国标准分类中归属于: L74 程序语言，在国际标准分类中归属于: 35.060 信息技术用语言。

T/CIE 095-2020的历代版本如下：

• 2020年12月21日 T/CIE 095-2020 区块链智能合约形式化表达

非常抱歉，我们暂时无法提供预览，您可以试试： 免费下载 T/CIE 095-2020 前三页，或者稍后再访问。

注意： 点击下载后，生成下载文件时间比较长，请耐心等待......

标准号

T/CIE 095-2020

发布日期

2020年12月21日

实施日期

2021年01月01日

废止日期

无

中国标准分类号

L74

国际标准分类号

35.060

发布单位

中国团体标准