MARC状态:审校 文献类型:中文图书 浏览次数:8
- 题名/责任者:
- 智能合约工程/胡凯著
- 出版发行项:
- 北京:电子工业出版社,2024
- ISBN及定价:
- 978-7-121-47623-5/CNY79.80
- 载体形态项:
- xiii, 295页:图;26cm
- 并列正题名:
- Smart contract engineering
- 个人责任者:
- 胡凯 著
- 学科主题:
- 电子商务-支付方式-程序设计
- 中图法分类号:
- F713.361.3
- 一般附注:
- 工信学术出版基金
- 相关题名附注:
- 英文并列题名取自封面
- 书目附注:
- 有书目 (第292-295页)
- 提要文摘附注:
- 本书提出和论述了智能合约工程的概念、主要内容和技术体系,在介绍相关思想、理念,以及现有主要智能合约系统基本原理的基础上,论述了智能合约的工程化开发方法、智能合约法律化、智能合约形式化设计与验证方法、智能合约即服务、智能合约并行化等新理论和方法。
全部MARC细节信息>>