智能合约工程
TP311.135.9/4727
胡凯著
北京 电子工业出版社 2024
978-7-121-47623-5
XIII, 295页 26cm
区块链技术
5
中文图书
工信学术出版基金
本书提出和论述了智能合约工程的概念、主要内容和技术体系,在介绍相关思想、理念,以及现有主要智能合约系统基本原理的基础上,主要论述了智能合约的工程化开发方法、智能合约法律化、智能合约形式化设计与验证方法、智能合约即服务、智能合约并行化等新理论和方法。
1
1
无
胡凯著. 智能合约工程[M]. 北京 电子工业出版社 2024.
点此复制
馆藏地址
条形码 | 目前状态 | 卷册号 | 馆藏地址 | 架位信息 |
---|---|---|---|---|
H411786 | 在馆 | 徐汇中文书库 | 书库3楼 8排3列1层 |