Deductive program design

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

Program design calculi

  • 作者:NATO Advanced Study Institute on Program Design Calculi
  • ISBN:354056943X
  • 出版社:Berlin ; New York : Springer, c1993.
  • 出版年:1993

Structure, logic, and program design

  • 作者:Cohen,Alan.
  • ISBN:0471164003
  • 出版社:Chichester [West Sussex] ; New York : Wiley, c1983.
  • 出版年:1983

Program design with pseudocode

  • 作者:Bailey,T. E.,
  • ISBN:0534013619
  • 出版社:Monterey, Calif. : Brooks/Cole Pub. Co., 1983.
  • 出版年:1983

Techniques of program structure and design:

  • 作者:Yourdon,Edward.
  • ISBN:013901702X
  • 出版社:Englewood Cliffs, N.J. : Prentice-Hall, 1975.
  • 出版年:1975

Data structures and program design

  • 作者:Kruse,Robert Leroy,
  • ISBN:0131958844
  • 出版社:Englewood Cliffs, N.J. : Prentice-Hall, c1987.
  • 出版年:1987

Data structured program design

  • 作者:Hansen,Kirk
  • ISBN:0131968416
  • 出版社:nglewood Cliffs London Prentice-Hall 1986.
  • 出版年:1986