Practical formal software engineering : wanting the software you get

出版社:New York : Cambridge University Press, 2009
ISBN:9780521879033
出版年:2009
作者:Bruce,Mills
资源类型:图书
细分类型:西文文献
相关推荐

Practical software engineering

  • 作者:Schach,Stephen R.
  • ISBN:0256114544
  • 出版社:Homewood, IL : Aksen Associates : Irwin, c1992.
  • 出版年:1992

Practical Software Engineering A Case Study Approach

  • 作者:Maciaszek L.A.
  • ISBN:9787111173281
  • 出版社:北京, China Machine Press, 2006
  • 出版年:2006

Formal methods and software engineering : 15th International Conference on Formal Engineering Method

  • 作者:International Conference on Formal Engineering Methods
  • ISBN:9783642412011
  • 出版社:Berlin ; New York : Springer, c2013.
  • 出版年:2013

Formal methods and software engineering : 7th International Conference on Formal Engineering Methods

  • 作者:Lau,Kung-Kiu
  • ISBN:3540297979
  • 出版社:Berlin ; New York : Springer, c2005.
  • 出版年:2005

Formal methods and software engineering : 6th International Conference on Formal Engineering Methods

  • 作者:International Conference on Formal Engineering Methods
  • ISBN:3540238417
  • 出版社:Berlin ; New York : Springer, c2004.
  • 出版年:2004

Formal specification and software development

  • 作者:Bjr?ner,D.
  • ISBN:0133290034
  • 出版社:Englewood Cliffs, N.J. : Prentice/Hall International, 1982.
  • 出版年:1982