当前位置:首页 > 工业技术
软件工程  系统与语言规约
软件工程  系统与语言规约

软件工程 系统与语言规约PDF电子书下载

工业技术

  • 电子书积分:22 积分如何计算积分?
  • 作 者:(丹)比约纳(Bjorner,D.)著
  • 出 版 社:清华大学出版社
  • 出版年份:2007
  • ISBN:9787302154327
  • 页数:802 页
图书介绍:本书介绍系统与语言的规约的基本原理和技术。
《软件工程 系统与语言规约》目录
返回顶部