Aliasing in object-oriented programming : types analysis and verification

出版社:Berlin ; New York : Springer, c2013.
ISBN:9783642369452
出版年:2013
作者:Clarke,Dave,
资源类型:图书
细分类型:西文文献
相关推荐

Object-oriented programming

  • 作者:Coad,Peter.
  • ISBN:0130750948
  • 出版社:London : Prentice-Hall International, c1993.
  • 出版年:1993

Theoretical aspects of object-oriented programming : types, semantics, and language design

  • 作者:Gunter,Carl A.,
  • ISBN:026207155X
  • 出版社:Cambridge, Mass. : MIT Press, c1994.
  • 出版年:1994

Object-oriented analysis

  • 作者:Coad,Peter.
  • ISBN:0136300138
  • 出版社:Englewood Cliffs, N.J. : Yourdon Press, 1991.
  • 出版年:1991

Object-oriented analysis

  • 作者:Coad,Peter
  • ISBN:0136291228
  • 出版社:Englewood Cliffs : Prentice Hall, c1990
  • 出版年:1990

Object-oriented programming for graphics

  • 作者:Laffra,C.
  • ISBN:0387583149
  • 出版社:Berlin : Springer, c1995.
  • 出版年:1995

Object-oriented programming with simul

  • 作者:Kirkerud,Bjorn.
  • ISBN:0201175746
  • 出版社:New York: Addison-Wesley, 1989.
  • 出版年:1989