当前位置:首页 > 工业技术
软件开发的形式化工程方法
软件开发的形式化工程方法

软件开发的形式化工程方法PDF电子书下载

工业技术

  • 电子书积分:14 积分如何计算积分?
  • 作 者:(日)刘少英著
  • 出 版 社:北京:清华大学出版社
  • 出版年份:2008
  • ISBN:7302183171
  • 页数:408 页
图书介绍:本书首次开创了一个新技术,即形式化工程方法,把传统的形式化方法和软件工程有机结合起来。它提供了一个严密、系统、有效的软件开发方法,其实用性超过了目前所有形式化方法。这正好可以满足学术界、软件工程类学生对学习形式化工程方法和SOFL的迫切需求。
《软件开发的形式化工程方法》目录
相关图书
作者其它书籍
返回顶部