CASL user manual : introduction to using the Common algebraic specification language

出版社:Berlin ; New York : Springer, 2004.
ISBN:354020766X
出版年:2004
作者:Bidoit,M.
资源类型:图书
细分类型:西文文献
相关推荐

CASL user manual : introduction to using the Common algebraic specification language CASL

  • 作者:Bidoit,M.
  • ISBN:354020766X
  • 出版社:Berlin ; New York : Springer, c2004.
  • 出版年:2004

CASL reference manual : the complete documentation of the Common Algebraic Specification Language

  • 作者:Mosses,Peter.
  • ISBN:3540213015
  • 出版社:Berlin ; New York : Springer, c2004.
  • 出版年:2004

Paragon : a language using type hierarchies for the specification, implementation, and selection of

  • 作者:Sherman,Mark Steven.
  • ISBN:0387152121
  • 出版社:Berlin ; New York : Springer-Verlag, c1985.
  • 出版年:1985

Algebraic specification

  • 作者:Bergstra,J.A.
  • ISBN:0201416352
  • 出版社:New York, N.Y. : ACM Press ; Wokingham, England ; Reading, Mass. : Addison-Wesley, 1989.
  • 出版年:1989

BASIC : an introduction to computer programming using the BASIC language

  • 作者:Sharpe,William F.
  • ISBN:0029283809.
  • 出版社:New York : Free Press, c1979.
  • 出版年:1979

An introduction to algorithmic methods using the MAD language

  • 作者:Marcovitz,Alan B.
  • 出版社:New York : Macmillan, 1966.
  • 出版年:1966