杭州电子科技大学图书馆书目检索系统

Online Public Access Catalogue

题名/责任者:

智能法律合约:面向合约的软件开发语言、技术及应用/朱岩, 王迪著

出版发行项:

北京:清华大学出版社,2022

ISBN及定价:

978-7-302-60720-5/CNY89.00

载体形态项:

xi, 243页, [4] 页图版:图 (部分彩图);24cm

并列正题名:

Smart legal contract

其它题名:

面向合约的软件开发语言、技术及应用

个人责任者:

朱岩 著

个人责任者:

王迪 著

学科主题:

软件开发-研究

中图法分类号:

TP311.52

相关题名附注:

英文并列题名取自封面

书目附注:

有书目

提要文摘附注:

本书以实现法律化的程序设计为目标、面向合约软件开发理论为基础, 系统地介绍了智能法律合约与面向合约软件工程的概念与架构, 对智能法律合约的法律属性、语言设计进行了理论分析和模型设计, 提出了智能法律合约的编译方法、订立方法等实用化工具和技术, 并在数字资产与权属交易和智能合约即服务等方面给出了智能法律合约的应用解决方案和相关智能法律合约语言标准。本书系统地阐述了如何实现法律化的程序设计与开发, 让非计算机专业人士也可参与设计自己的区块链智能合约。本书内容能够很好地帮助读者了解智能法律合约的研究进展、基本理论和方法, 以及未来发展方向, 其中示例也能帮助本领域学者进行示例化研究, 从而推动智能法律合约的发展。

豆瓣简介：