Program design calculi

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

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

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