Computational semantics with functional programming

出版社:Cambridge : Cambridge University Press, 2010.
ISBN:9780521757607
出版年:2010
作者:Eijck,J. van
资源类型:图书
细分类型:西文文献
相关推荐

Semantics of programming languages

  • 作者:Tennent,R. D.,
  • ISBN:0138056072
  • 出版社:New York : Prentice Hall, 1991.
  • 出版年:1991

Programming language syntax and semantics

  • 作者:Watt,David A.
  • ISBN:90025208 62
  • 出版社:Englewood Cliffs, N.J. : Prentice Hall, c1990.
  • 出版年:1991

Programming language syntax and semantics

  • 作者:Watt,David A.
  • ISBN:90025208
  • 出版社:Englewood Cliffs, N.J. : Prentice Hall, c1990.
  • 出版年:1991

Coordination programming : mechanisms, models, and semantics

  • 作者:Andreoli,J.-M.
  • ISBN:1860940234
  • 出版社:London : Imperial College Press ; Singapore ; River Edge, NJ : Distributed by World Scientific, c199
  • 出版年:1996

Programming logics : an introduction to verification and semantics

  • 作者:Gumb,Raymond D.
  • ISBN:0471605395
  • 出版社:New York : Wiley, c1989.
  • 出版年:1989

A theory of programming language semantics

  • 作者:Milne,Robert,
  • ISBN:0470989068
  • 出版社:London : Chapman and Hall ; New York : Wiley : distributed in the U.S.A. by Halsted Press, 1976.
  • 出版年:1976