工标网 回首页
标准分类  最新标准New!  标准公告 标准动态  标准论坛
 高级查询
帮助 | 登录 | 注册
查标准上工标网 免费查询标准最新替代作废信息
 您的位置:工标网 >> >> T/CIE 095-2020

区块链智能合约形式化表达

国家标准
标准编号:T/CIE 095-2020 标准状态:现行
标准价格:24.0 客户评分:星星星星1
立即购买工即可享受本标准状态变更提醒服务!
点击放入购物车 如何购买?问客服 放入收藏夹,免费跟踪本标准更替信息! 参与评论本标准
标准简介
本文件规定了智能合约语言的结构和语法,界定了有关术语和定义。
注: 本文提供的智能法律合约示例及智能合约示例,见附录A。
本文件适用于通用智能合约设计、开发和使用,也可为区块链厂商和用户构建智能合约平台参考。
英文名称:  Formal expression of blockchain smart contract
什么是中标分类? 中标分类:  电子元器件与信息技术>>信息处理技术>>L74程序语言
什么是ICS分类?  ICS分类:  信息技术、办公机械设备>>35.060信息技术用语言
发布部门:  中国电子学会
发布日期:  2020-12-21
实施日期:  2021-01-01
提出单位:  北京科技大学
什么是归口单位? 归口单位:  中国电子学会区块链分会技术
起草单位:  北京科技大学、北京大学、北京市经济和信息化局、北京市社会公信建设促进会、天津蛟图信息科技有限责任公司、北京航空航天大学、中化能源股份有限公司、北京文章无忧信息科技有限公司、贝壳找房(北京)科技有限公司等
起草人:  朱岩、秦博涵、何啸、王迪、孙贻滋、郭倩、宋伟静、王晟典、洪京一、姚前、蒋国庆、李冀宁、刘国伟、伊然、冯荣权、张韬、胡凯、徐双泉、韩心慧、英伟、甘国华
页数:  24页
出版日期:  2021-01-01
  [ 评论 ][ 关闭 ]

程序语言相关标准 第1页 第2页 
 GB/T 7591-1987 程序设计语言Pascal
 GB/T 9362-1988 用于工业过程控制 实时FORTRAN
 GB/T 9542-1988 程序设计语言PL/1
 GB/T 9543-1988 程序设计语言PL/1通用子集
 SJ/T 10758-1996 半导体集成电路电视机电路系列和品种
 SL/T 809-2021 水利对象基础数据库表结构及标识符
 T/CIE 130-2022 区块链 智能合约形式化设计与验证方法
 T/CIE 131-2022 信息技术 通用时空信息应用支撑平台参考架构
 T/CIE 152-2022 微电子器件假冒翻新物理特征识别方法与程序
 免费下载程序语言标准相关目录

信息技术用语言相关标准 第1页 
 GB 4144-1984 程序设计语言 最小BASIC
 JB/T 10334-2002 激光打印机测试版(A4)
 SB/T 11038-2013 中药材流通追溯体系专用术语规范
 SJ/T 11238-2001 语言复读机通用规范
 T/CIE 104.1-2021 青少年软件编程等级评价指南 第1部分:通则
 T/CIE 104.2-2021 青少年软件编程等级评价指南 第2部分:图形化编程
 T/CIE 104.3-2021 青少年软件编程等级评价指南 第3部分:C/C++语言编程
 T/CIE 104.4-2021 青少年软件编程等级评价指南 第4部分:Python语言编程
 T/CIE 129-2021 区块链 智能合约 合同文本置标语言(CTML)
 免费下载信息技术用语言标准相关目录

 发表留言
内 容
  用户:   口令:  
 
 
客服中心
有问题?找在线客服 点击和客服交流,我们的在线时间是:工作日8:30至18:00,节假日;9:00至17:00。工标网欢迎您和我们联系!
未开通400地区或小灵通请直接拨打0898-3137 2222 400-7255-888
客服QQ 1197428036 992023608
MSN或电子邮件 18976748618 13876321121
温馨提示:标准更新替换较快,请注意您购买的标准时效性。
常见问题 帮助中心
我为什么找不到我想要的标准?
配送范围、配送时间和收费标准
如何付款,支持哪些付款方式?
您浏览过的标准  清除
安全阀技术要求和性能试验方法
必备软件下载
Adobe Acrobat Reader 是一个查看、 阅读和打印PDF文件的最佳工具,通 过它可以查阅本站的标准文档
pdf下载
搜索更多
google 中搜索:T/CIE 095-2020 区块链智能合约形式化表达
baidu 中搜索:T/CIE 095-2020 区块链智能合约形式化表达
yahoo 中搜索:T/CIE 095-2020 区块链智能合约形式化表达
soso 中搜索:T/CIE 095-2020 区块链智能合约形式化表达
中搜索:T/CIE 095-2020 区块链智能合约形式化表达
 
付款方式 - 关于我们 - 帮助中心 - 联系我们 - 诚聘英才 - 合作伙伴 - 使用条款
QQ:1197428036 992023608 有问题? 联系在线客服
Copyright © 工标网 2005-2023,All Right Reserved