-
>
決戰(zhàn)行測5000題(言語理解與表達(dá))
-
>
軟件性能測試.分析與調(diào)優(yōu)實(shí)踐之路
-
>
第一行代碼Android
-
>
深度學(xué)習(xí)
-
>
Unreal Engine 4藍(lán)圖完全學(xué)習(xí)教程
-
>
深入理解計(jì)算機(jī)系統(tǒng)-原書第3版
-
>
Word/Excel PPT 2013辦公應(yīng)用從入門到精通-(附贈1DVD.含語音視頻教學(xué)+辦公模板+PDF電子書)
智能合約工程 版權(quán)信息
- ISBN:9787121476235
- 條形碼:9787121476235 ; 978-7-121-47623-5
- 裝幀:一般膠版紙
- 冊數(shù):暫無
- 重量:暫無
- 所屬分類:>
智能合約工程 內(nèi)容簡介
本書提出和論述了智能合約工程的概念、主要內(nèi)容和技術(shù)體系,在介紹相關(guān)思想、理念,以及現(xiàn)有主要智能合約系統(tǒng)基本原理的基礎(chǔ)上,主要論述了智能合約的工程化開發(fā)方法、智能合約法律化、智能合約形式化設(shè)計(jì)與驗(yàn)證方法、智能合約即服務(wù)、智能合約并行化等新理論和方法。本書適合從事區(qū)塊鏈和智能合約研究開發(fā)的科研人員參考,以及大學(xué)相關(guān)專業(yè)的本科生和研究生使用。
智能合約工程 目錄
智能合約工程 作者簡介
胡凱,男,工學(xué)博士,教授,博士生導(dǎo)師。研究內(nèi)容包括:分布式系統(tǒng)、機(jī)群和網(wǎng)格計(jì)算、計(jì)算機(jī)仿真技術(shù)、區(qū)塊鏈等。先后主持國家自然基金4項(xiàng),核高基課題,多項(xiàng)863基金項(xiàng)目,航空科學(xué)基金以及航空航天領(lǐng)域科研項(xiàng)目。近年來在國內(nèi)外期刊和學(xué)術(shù)會議上發(fā)表SCI/EI論文50余篇,編寫教材和著作共3部。
- >
人文閱讀與收藏·良友文學(xué)叢書:一天的工作
- >
【精裝繪本】畫給孩子的中國神話
- >
中國歷史的瞬間
- >
新文學(xué)天穹兩巨星--魯迅與胡適/紅燭學(xué)術(shù)叢書(紅燭學(xué)術(shù)叢書)
- >
朝聞道
- >
李白與唐代文化
- >
莉莉和章魚
- >
苦雨齋序跋文-周作人自編集