软件工程卷2:系统与语言归约

出版社:清华大学出版社
ISBN:9787302208914
出版年:2010
作者:刘泊超等译
学科:电技术、电子技术
资源类型:图书
细分类型:中文文献
相关推荐

软件工程语言——Z

  • 作者:缪淮扣
  • ISBN:7543913232
  • 出版社:上海科学技术文献出版社
  • 出版年:1999

安全归约导论

  • 作者:郭福春
  • ISBN:9787576301175
  • 出版社:北京理工大学出版社,北京理工大学出版社有限责任公司
  • 出版年:2021

软件工程 :Java语言实现

  • 作者:沙切斯
  • ISBN:711107355X
  • 出版社:机械工业出版社
  • 出版年:1999

基于本体的大数据归约技术

  • 作者:郝文宁
  • ISBN:9787560668208
  • 出版社:西安电子科技大学出版社
  • 出版年:2023

系统软件与软件工程技术基础

  • 作者:林国璋
  • ISBN:7810133519
  • 出版社:理工大学出版社
  • 出版年:1990

软件工程形式化方法与语言

  • 作者:李莹
  • ISBN:9787308066679
  • 出版社:浙江大学出版社
  • 出版年:2010