MARC状态:审校 文献类型:中文图书 浏览次数:7
- 题名/责任者:
- 智能合约工程/胡凯著
- 出版发行项:
- 北京:电子工业出版社,2024
- ISBN及定价:
- 978-7-121-47623-5/CNY79.80
- 载体形态项:
- xiii, 295页:图;26cm
- 并列正题名:
- Smart contract engineering
- 个人责任者:
- 胡凯 著
- 学科主题:
- 区块链技术
- 中图法分类号:
- TP311.135
- 一般附注:
- 工信学术出版基金
- 相关题名附注:
- 英文并列题名取自封面
- 书目附注:
- 有书目 (第292-295页)
- 提要文摘附注:
- 本书提出和论述了智能合约工程的概念、主要内容和技术体系,在介绍相关思想、理念,以及现有主要智能合约系统基本原理的基础上,论述了智能合约的工程化开发方法、智能合约法律化、智能合约形式化设计与验证方法、智能合约即服务、智能合约并行化等新理论和方法。
全部MARC细节信息>>
索书号 | 条码号 | 年卷期 | 馆藏地 | 书刊状态 | 还书位置 |
TP311.135/29 | 2242507 | 自然科学书库-四楼西北 | 可借 | 自然科学书库-四楼西北 | |
TP311.135/29 | 2242508 | 自然科学书库-四楼西北 | 可借 | 自然科学书库-四楼西北 | |
TP311.135/29 | 2242509 | 自然科学书库-四楼西北 | 可借 | 自然科学书库-四楼西北 |
显示全部馆藏信息