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

Modular specification and verification of object-oriented programs
出版社：Berlin ; New York : Springer, c2002.
ISBN：3540431675
出版年：2002
作者：Muller,Peter.
资源类型：图书
细分类型：西文文献
1浏览量
 馆际互借
访问借阅管理系统
相关推荐
...

Object-Oriented Specification and Design with C++
  • 作者：Henderson,Peter
  • ISBN：0077075854
  • 出版社：London : McGraw-Hill, 1993.
  • 出版年：1993
...

Object-Oriented Specification and Design with C++
  • 作者：Henderson,Peter
  • ISBN：0077075854 CNY51.30
  • 出版社：London : McGraw-Hill, 1993.
  • 出版年：1993
...

Codecharts : roadmaps and blueprints for object-oriented programs
  • 作者：Eden,Amnon H.,
  • ISBN：9780470626948
  • 出版社：Hoboken, N.J. : Wiley, 2011.
  • 出版年：2011
...

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

Aliasing in object-oriented programming : types, analysis and verification
  • 作者：Clarke,Dave,
  • ISBN：9783642369452
  • 出版社：Berlin ; New York : Springer, c2013.
  • 出版年：2013
...

Object-oriented languages
  • 作者：Masini,Gerald
  • ISBN：0124773907
  • 出版社：New York : Academic Press, c1991.
  • 出版年：1991