登录
 机构网站
  1. 首页
  2. 馆藏纸本
  3. 图书详情
...

Verification of object-oriented software : the KeY approach
出版社：Berlin ; New York : Springer, c2007.
ISBN：9783540689775
出版年：2007
作者：Beckert,Bernhard.
资源类型：图书
细分类型：西文文献
1浏览量
 馆际互借
访问借阅管理系统
相关推荐
...

Object-oriented software
  • 作者：Winblad,Ann L.
  • ISBN：0201507366 CNY177.37
  • 出版社：Reading, Mass. ; Wokingham : Addison-Wesley, c1990.
...

Object-oriented software
  • 作者：Winblad,Ann L.
  • ISBN：0201507366
  • 出版社：Reading, Mass. ; Wokingham : Addison-Wesley, c1990.
...

Project-based software engineering : an object-oriented approach
  • 作者：Stiller,Evelyn.
  • ISBN：020174225X
  • 出版社：Boston : Addison Wesley, c2002.
  • 出版年：2002
...

Developing object-oriented software : an experience-based approach
  • 作者：IBM Object-oriented Technology Center.
  • ISBN：0137372485
  • 出版社：Upper Saddle River, N.J. : Prentice Hall PTR, 1997.
  • 出版年：1997
...

Object-oriented software engineering : a use case driven approach
  • 作者：Jacobson,Ivar.
  • ISBN：0201544350
  • 出版社：[New York] : ACM Press ; Wokingham, Eng. ; Reading, Mass. : Addison-Wesley Pub., c1992.
  • 出版年：1992
...

Object-oriented software composition
  • 作者：Nierstrasz,Oscar Marius,
  • ISBN：0132206749
  • 出版社：London : Prentice Hall, 1995.
  • 出版年：1995