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

KORSO : methods languages and tools for the construction of correct software : final report
出版社：Berlin ; London : Springer, 1995.
ISBN：3540605894
出版年：1995
作者：Broy,Manfred
资源类型：图书
细分类型：西文文献
1浏览量
 馆际互借
访问借阅管理系统
相关推荐
...

Final report
  • 作者：International Association for Birdge and StructuralEngineeringCongress
...

Software engineering : methods, management, and CASE tools
  • 作者：Sodhi,Jag.
  • ISBN：0830634428
  • 出版社：Blue Ridge Summit, PA : Tab Professional and Reference Books, c1991.
  • 出版年：1991
...

Engineering methods and tools for software safety and security
  • 作者：NATO Advanced Study Institute on Engineering Methods and Tools for Software Safety and Security
  • ISBN：9781586039769
  • 出版社：Amsterdam, Netherlands ; Washington, DC : IOS Press, c2009.
  • 出版年：2009
...

Numerical methods and software tools in industrial mathematics
  • 作者：Daehlen Morten
  • ISBN：081763973X
  • 出版社：Boston, Mass. : Birkhauser, 1997.
  • 出版年：1997
...

Feasibility study on in-sewer treatment methods: final report
  • 作者：Pomeroy,R.D.,…
  • 出版社：1977
  • 出版年：1977
...

Tools, methods, and languages for scientific and engineering computation : proceedings of the Intern
  • 作者：International Conference on Tools,Methods,and Languages for Scientific and Engineering Computation
  • ISBN：0444875700
  • 出版社：Amsterdam ; New York : North-Holland ; New York, N.Y. : Distributors for the U.S.A. and Canada, Else
  • 出版年：1984