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

Abstraction and specification in program deveiopmen
出版社：New York: McGraw-Hill, 1986.
ISBN：0262121123
出版年：1986
作者：Liskov,Barbara.
资源类型：图书
细分类型：西文文献,馆内阅览
1浏览量
 馆际互借
访问借阅管理系统
相关推荐
...

Program development in Java abstraction, specification, and object-oriented design=程序开发原
  • 作者：Guttag,Barbara Liskov with John
  • ISBN：7121026937
  • 出版社：Beijing : Pub. House of Electronics Industry, 2006.
  • 出版年：2006
...

Abstraction and specification with modula-2
  • 作者：Willis,Claire.
  • ISBN：0273031473
  • 出版社：London : Pitman, c1992.
  • 出版年：1992
...

Data Abstraction and Program Design
  • 作者：Ellis,Rod.
  • ISBN：0273032577
  • 出版社：0000.00
...

Formal methods of program verification and specification
  • 作者：Berg,H. K.
  • ISBN：0133288072
  • 出版社：Englewood Cliffs : Prentice-Hall, c1982
  • 出版年：1982
...

程序开发原理 :抽象、规格与面向对象设计 :abstraction, specification, and obiect-ori
  • 作者：利斯科瓦
  • ISBN：7121032627
  • 出版社：电子工业出版社
  • 出版年：2006
...

Integration of software specification techniques for applications in engineering : Priority Program
  • 作者：Ehrig,Hartmut.
  • ISBN：3540231358
  • 出版社：Berlin ; New York : Springer, c2004.
  • 出版年：2004