Program design calculi

出版社:Berlin ; New York : Springer, c1993.
ISBN:354056943X
出版年:1993
作者:NATO Advanced Study Institute on Program Design Calculi
资源类型:图书
细分类型:西文文献
相关推荐

Program design with pseudocode

  • 作者:Bailey,T. E.
  • ISBN:0534055745
  • 出版社:Monterey : Books/Cole Pub., 1986.
  • 出版年:1986

Data structures and program design

  • 作者:Kruse,Robert L.
  • ISBN:0131962531
  • 出版社:Englewood Cliffs : Prentice-Hall, c1984.
  • 出版年:1984

Deductive program design

  • 作者:NATO Advanced Study Institute on Deductive Program Design
  • ISBN:3540609474
  • 出版社:Berlin ; New York : Springer, c1996.
  • 出版年:1996

PostScript language program design

  • 作者:Reid,Glenn C.
  • ISBN:0201143968
  • 出版社:Reading, Mass. : Addison-Wesley, c1988.
  • 出版年:1988

Principles of program design

  • 作者:Jackson,M. A.
  • ISBN:75015033
  • 出版社:London : Academic Press, 1975
  • 出版年:1975

Data Abstraction and Program Design

  • 作者:Ellis,Rod.
  • ISBN:0273032577
  • 出版社:0000.00