您当前的位置：首页 > T∕CIE 095-2020 区块链智能合约形式化表达 > 下载地址2
T∕CIE 095-2020 区块链智能合约形式化表达
- 名 称：T∕CIE 095-2020 区块链智能合约形式化表达 - 下载地址2
- 类 别：综合团体标准
- 下载地址：[下载地址2]
- 提 取 码：
- 浏览次数：3
发表评论 加入收藏夹 错误报告目录| 新闻评论（共有 0 条评论） |
资料介绍
T∕CIE 095-2020 区块链智能合约形式化表达
标准编号 T/CIE 095—2020
中文标题 区块链智能合约形式化表达
发布日期 2020年12月21日
实施日期 2021年01月01日
本文件规定了智能合约语言的结构和语法，界定了有关术语和定义。本文件适用于通用智能合约设计、开发和使用，也可为区块链厂商和用户构建智能合约平台参考。
标准编号 T/CIE 095—2020
中文标题 区块链智能合约形式化表达
发布日期 2020年12月21日
实施日期 2021年01月01日
本文件规定了智能合约语言的结构和语法，界定了有关术语和定义。本文件适用于通用智能合约设计、开发和使用，也可为区块链厂商和用户构建智能合约平台参考。
相关推荐
- T/CI 012-2022 家庭教育指导师专业能力测评规范
- T∕CACM 1020.36-2019 道地药材 第36部分：川佛手
- T/GZSX 014-2017 豆豉
- T∕CAGHP 065.3-2019 地质灾害防治工程预算定额（试行）
- T∕CACM 1020.6-2019 道地药材 第6部分：怀菊
- T∕CECA-G 0113-2021 结晶釜用高效搅拌器应用规范
- T∕CACM 1020.115-2019 道地药材 第115部分：广豆根
- T∕ZKJXX 00028-2022 北斗导航位置服务平台接入规范
- T∕CNEA 001.1-2021 核能行业供应商评价与管理规范 第1部分：合格供应商要求及判定规则
- T/CZSPTXH 077-2018 潮州菜 猪肠粿汁烹饪工艺规范
