智能合约工程
正版新书 新华官方库房直发 可开电子发票
￥ 63.84 8.0折 ￥ 79.8 全新
库存3件
江苏无锡
认证卖家担保交易快速发货售后保障
作者作者:胡凯|责编:孟宇
出版社电子工业出版社
ISBN9787121476235
出版时间2024-04
装帧平装
纸张胶版纸
定价79.8元
货号ZJ:9787121476235
上书时间2024-12-25
商品详情
- 品相描述：全新
- 全新正版 提供发票
- 商品描述
-
作者简介:
胡凯，北京航空航天大学计算机学院教授、博士生导师，北航云南创新研究院数字经济研究所所长，云南省区块链应用技术重点实验室主任。国内区块链研究的早期开拓者之一，提出并发展了智能合约工程（SCE）、验证即服务（VaaS）和智能合约即服务（SCaaS）等创新区块链理论与方法，先后主持区块链领域国家重点研发计划、国家基金、教育部基金等多个重大项目。主持制定发布中国电子学会国内首个区块链智能合约形式化设计与验证标准，联合主编《分布式计算系统导论》《智能合约工程》等国家规划和部级基金教材。主持研发北航链（TrustChain）、链上数据管理系统（OpenData）和智能合约形式化设计与验证平台（ModelSC）等系列产品，在区块链双碳、能源、制造业、生物多样化、大数据资产化，以及省级区块链基础设施建设等多个领域广泛应用。
内容简介:
本书提出和论述了智能合约工程的概念、主要内容和技术体系，在介绍相关思想、理念，以及现有主要智能合约系统基本原理的基础上，主要论述了智能合约的工程化开发方法、智能合约法律化、智能合约形式化设计与验证方法、智能合约即服务、智能合约并行化等新理论和方法。本书适合从事区块链和智能合约研究开发的科研人员参考，以及大学相关专业的本科生和研究生使用。
相关推荐
— 没有更多了 —
以下为对购买帮助不大的评价