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

Formal verification of object-oriented software : international conference FoVeOOS 2011 Turin Ita
出版社：Berlin ; New York : Springer, c2012.
ISBN：9783642317613
出版年：2012
作者：FoVeOOS 2011
资源类型：图书
细分类型：西文文献
2浏览量
 馆际互借
访问借阅管理系统
相关推荐
...

Formal verification of object-oriented software : international conference, FoVeOOS 2010, Paris, Fra
  • 作者：FoVeOOS 2010
  • ISBN：9783642180699
  • 出版社：Berlin ; New York : Springer, c2011.
  • 出版年：2011
...

Verification of object-oriented software : the KeY approach
  • 作者：Beckert,Bernhard.
  • ISBN：9783540689775
  • 出版社：Berlin ; New York : Springer, c2007.
  • 出版年：2007
...

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.
...

Formal object-oriented development
  • 作者：Lano,K.
  • ISBN：3540199780
  • 出版社：London ; New York : Springer, c1995.
  • 出版年：1995
...

Object-oriented software construction
  • 作者：Meyer,Bertrand,
  • ISBN：0136291554
  • 出版社：Upper Saddle River, N.J. : Prentice Hall PTR, 1997.
  • 出版年：1997