欢迎访问学兔兔标准下载网,学习、交流 分享 !

返回首页 |
当前位置: 首页 > 团体标准>综合团体标准 > T/CIE 095-2020 区块链智能合约形式化表达

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

收藏
  • 大小:382.73 KB
  • 语言:中文版
  • 格式: PDF文档
  • 类别:综合团体标准
  • 更新日期:2021-04-27
本站推荐: 升级会员 无限下载,节约时间成本!
关键词:区块链   智能   表达   CIE   中国电子学会
资源简介
T∕CIE 095-2020 区块链智能合约形式化表达
标准编号 T/CIE 095—2020
中文标题 区块链智能合约形式化表达
发布日期 2020年12月21日
实施日期 2021年01月01日
本文件规定了智能合约语言的结构和语法,界定了有关术语和定义。本文件适用于通用智能合约设计、开发和使用,也可为区块链厂商和用户构建智能合约平台参考。
下载地址
T/CIE 095-2020 区块链智能合约形式化表达资源截图