海洋智能合约开发与验证框架MariSmart

出版社:中国科学院软件研究所
出版年:2024
作者:赵旭峰
资源类型:图书
细分类型:学位论文
相关推荐

海洋观测框架

  • 作者:国家海洋信息中心
  • ISBN:9787502786199
  • 出版社:海洋出版社
  • 出版年:2013

Solidity智能合约开发技术与实战

  • 作者:李晓黎
  • ISBN:9787115589439
  • 出版社:人民邮电出版社
  • 出版年:2022

深入以太坊智能合约开发

  • 作者:杨镇
  • ISBN:9787111623724
  • 出版社:机械工业出版社
  • 出版年:2019

精通以太坊智能合约开发

  • 作者:熊丽兵
  • ISBN:9787121349515
  • 出版社:电子工业出版社
  • 出版年:2018

海洋开发

  • 作者:佐佐木忠义
  • 出版年:1971

开发海洋

  • 作者:(日)佐佐木忠义
  • 出版社:北京出版社
  • 出版年:1982