Studies in automatic programming logic

出版社:New York : North-Holland, c1977.
ISBN:0444002243.
出版年:1977
作者:Manna,Zohar.
资源类型:图书
细分类型:西文文献
相关推荐

The logic of programming

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

Logic and programming

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

The logic of programming

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

Logic programming

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

Annual review in automatic programming,

  • 作者:Goodman,Richard.
  • 出版社:Oxford : Pergamon, 1963.
  • 出版年:1963

Programming for an automatic digital calculator

  • 作者:Booth,Kathleen H. V.
  • 出版社:London : Butterworths Scientific Publications, 1958.,[S.l.] : [s.n.], 1958,London, Butterworths Scientific Publications, 1958.
  • 出版年:1958