An introduction to programming with specifications : a mathematical approach

出版社:London ; San Diego : Academic Press, c1991.
ISBN:0124276202
出版年:1991
作者:Kubiak,Ryszard.
资源类型:图书
细分类型:西文文献
相关推荐

Programming with specifications : an introduction to ANNA, a language for specifying Ada programs

  • 作者:Luckham,David C.
  • ISBN:0387972544
  • 出版社:New York : Springer-Verlag, c1990.
  • 出版年:1990

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

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

A structured approach to programming

  • 作者:Hughes,J.K.,.
  • 出版社:1977
  • 出版年:1977

A structured approach to programming

  • 作者:Hughes,Joan Kirkby.
  • ISBN:0138543569
  • 出版社:Englewood Cliffs, N.J. : Prentice-Hall, c1977.
  • 出版年:1977

A programming approach to computability

  • 作者:Kfoury,A. J.
  • ISBN:0387907432
  • 出版社:New York, N.Y. : Springer-Verlag, c1982.
  • 出版年:1982