A programming logic : with an introduction to the PL/CV verifier

出版社:Cambridge, Mass. : Winthrop Publishers, c1978.
ISBN:0876267266
出版年:1978
作者:Constable,R. L.
资源类型:图书
细分类型:西文文献,中文文献
相关推荐

An introduction to the PL/CV2 programming logic

  • 作者:Constable,R. L.
  • ISBN:0387114920
  • 出版社:Berlin ; New York : Springer-Verlag, 1982.
  • 出版年:1982

An introduction to programming : a structured approach using PL/I and PL/C

  • 作者:Conway,Richard Walter,
  • ISBN:087626433X
  • 出版社:Cambridge, Mass. : Winthrop Publishers, c1979.
  • 出版年:1979

Structured programming with PL/1 : an introduction

  • 作者:Marcotty,Michael,
  • ISBN:0138548854
  • 出版社:Englewood Cliffs, N.J. : Prentice-Hall, c1977.
  • 出版年:1977

Introduction to programming : programming logic and flowcharting

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

Introduction to logic programming

  • 作者:Hogger,Christopher John.
  • ISBN:0123520924
  • 出版社:London : Academic Pr., 1984.
  • 出版年:1984

Introduction to logic programming

  • 作者:Hogger,Christopher John.
  • ISBN:0123520908
  • 出版社:London ; Orlando : Academic Press, 1984.
  • 出版年:1984