题名:
|
智能合约工程 / 胡凯著 , |
ISBN:
|
978-7-121-47623-5 价格: CNY79.80 |
语种:
|
chi |
载体形态:
|
xiii, 295页 图 26cm |
出版发行:
|
出版地: 北京 出版社: 电子工业出版社 出版日期: 2024 |
内容提要:
|
本书提出和论述了智能合约工程的概念、主要内容和技术体系,在介绍相关思想、理念,以及现有主要智能合约系统基本原理的基础上,论述了智能合约的工程化开发方法、智能合约法律化、智能合约形式化设计与验证方法、智能合约即服务、智能合约并行化等新理论和方法。 |
主题词:
|
区块链技术 |
中图分类法:
|
TP311.133 版次: 5 |
主要责任者:
|
胡凯 著 |
附注:
|
工信学术出版基金 |