Axiomatising the logic of computer programming

出版社:Berlin ; New York : Springer-Verlag, 1982.
ISBN:0387112103
出版年:1982
作者:Goldblatt,Robert.
资源类型:图书
细分类型:西文文献
相关推荐

Introduction to flowcharts and Computer programming logic

  • 作者:Shelly,Gary B.
  • ISBN:088236345X
  • 出版社:Fullerton, CA : Anaheim Pub. Co., 1976.
  • 出版年:1976

The logic of programming

  • 作者:Hebner,Eric C.R.
  • 出版社:Englewood Cliffs : Prentice-Hall, c1984
  • 出版年:1984

Logic and programming

  • 作者:Parent,Michel.
  • ISBN:0850386500
  • 出版社:London : Kogan Page, c1984.
  • 出版年:1984

Logic programming

  • 作者:Clark,K. L.
  • ISBN:0121755207
  • 出版社:London ; New York : Academic Press, 1982.
  • 出版年:1982

The logic of programming

  • 作者:Hehner,Eric C. R.
  • ISBN:0135399661
  • 出版社:Englewood Cliffs, N.J. : Prentice/Hall International, c1984.
  • 出版年:1984

Introduction to programming : programming logic and flowcharting

  • 作者:Silver,Gerald A.
  • ISBN:0070574456
  • 出版社:New York : Gregg Division, McGraw-Hill, c1975, 1977 printing.
  • 出版年:1980