Software specification techniques

出版社:Workingham, England ; Reading, Mass. : Addison-Wesley, c1986.
ISBN:85001437 86
出版年:1986
作者:Gehani,Narain,
资源类型:图书
细分类型:西文文献
相关推荐

Software specification techniques

  • 作者:Narain Gehani
  • ISBN:0201142309
  • 出版社:Workingham : Addison-Wesley, c1986
  • 出版年:1986

Software specification techniques

  • 作者:Gehani,Narain,
  • ISBN:85001437
  • 出版社:Workingham, England ; Reading, Mass. : Addison-Wesley, c1986.
  • 出版年:1986

Algebraic specification techniques and tools for software development : the ACT approach

  • 作者:Classen,Ingo.
  • ISBN:9810212275
  • 出版社:Singapore ; River Edge, N.J. : World Scientific, 1993.
  • 出版年:1993

Integration of software specification techniques for applications in engineering : Priority Program

  • 作者:Ehrig,Hartmut.
  • ISBN:3540231358
  • 出版社:Berlin ; New York : Springer, c2004.
  • 出版年:2004

Specification of software systems

  • 作者:Alagar,Vangalur S.,
  • ISBN:0387984305
  • 出版社:New York : Springer, 1998.
  • 出版年:1998

Formal specification and software development

  • 作者:Bjr?ner,D.
  • ISBN:0133290034
  • 出版社:Englewood Cliffs, N.J. : Prentice/Hall International, 1982.
  • 出版年:1982