📚 网上馆配 · 你选我买选采服务平台

智能合约工程

📝 内容简介

本书提出和论述了智能合约工程的概念、主要内容和技术体系，在介绍相关思想、理念，以及现有主要智能合约系统基本原理的基础上，论述了智能合约的工程化开发方法、智能合约法律化、智能合约形式化设计与验证方法、智能合约即服务、智能合约并行化等新理论和方法。