机读格式显示(MARC)
- 000 01552nam0 2200301 450
- 010 __ |a 978-7-302-60720-5 |d CNY89.00
- 100 __ |a 20221012d2022 em y0chiy50 ea
- 200 1_ |a 智能法律合约 |A zhi neng fa lv he yue |e 面向合约的软件开发语言、技术及应用 |f 朱岩, 王迪著
- 210 __ |a 北京 |c 清华大学出版社 |d 2022
- 215 __ |a xi, 243页, [4] 页图版 |c 图 (部分彩图) |d 24cm
- 330 __ |a 本书以实现法律化的程序设计为目标、面向合约软件开发理论为基础, 系统地介绍了智能法律合约与面向合约软件工程的概念与架构, 对智能法律合约的法律属性、语言设计进行了理论分析和模型设计, 提出了智能法律合约的编译方法、订立方法等实用化工具和技术, 并在数字资产与权属交易和智能合约即服务等方面给出了智能法律合约的应用解决方案和相关智能法律合约语言标准。本书系统地阐述了如何实现法律化的程序设计与开发, 让非计算机专业人士也可参与设计自己的区块链智能合约。本书内容能够很好地帮助读者了解智能法律合约的研究进展、基本理论和方法, 以及未来发展方向, 其中示例也能帮助本领域学者进行示例化研究, 从而推动智能法律合约的发展。
- 510 1_ |a Smart legal contract |z eng
- 517 1_ |a 面向合约的软件开发语言、技术及应用 |A mian xiang he yue de ruan jian kai fa yu yan 、ji shu ji ying yong
- 606 0_ |a 软件开发 |A ruan jian kai fa |x 研究
- 701 _0 |a 朱岩 |A zhu yan |4 著
- 701 _0 |a 王迪 |A wang di |4 著
- 801 _0 |a CN |b HDUL |c 20221110
- 905 __ |a HDUL |d TP311.52/2207