登录
 机构网站
  1. 首页
  2. 馆藏纸本
  3. 图书详情
...

Algebraic specification techniques and tools for software development : the ACT approach
出版社：Singapore ; River Edge, N.J. : World Scientific, 1993.
ISBN：9810212275
出版年：1993
作者：Classen,Ingo.
资源类型：图书
细分类型：西文文献
1浏览量
 馆际互借
访问借阅管理系统
相关推荐
...

Modelling systems: practical tools and techniques in software development
  • 作者：Fitzgerald,John,
  • ISBN：0521623480
  • 出版社：New York : Cambridge Univ. Pr., c1998.
  • 出版年：1998
...

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
...

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

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

1983 Softfair A conference on software Development Tools,Techniques,and Alternatives
  • ISBN：0818304786
  • 出版社：0000.00