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

Formal methods and software development.
出版社：Berlin: Springer-Verlag, 1985.
ISBN：3540151990
出版年：1985
作者：Goos,G.
资源类型：图书
细分类型：西文文献
1浏览量
 馆际互借
访问借阅管理系统
相关推荐
...

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

Software prototyping, formal methods and VDM
  • 作者：Hekmatpour,Sharam.
  • ISBN：020117572X
  • 出版社：Wokingham : Addison-Wesley Pub., c1988.
  • 出版年：1988
...

JSP & JSD the Jackson approach to software development.
  • 出版社：New York : IEEE, 1984.
  • 出版年：1984
...

Software Prototyping,Formal Methods and Vd
  • 作者：Hekmatpour. S.
  • ISBN：020117572X
  • 出版社：New York: Addison-Wesley Publishing Company, 1988.
  • 出版年：1988
...

JSP & JSD : the Jackson approach to software development.
  • 作者：IEEE
  • ISBN：0818645164
  • 出版社：Silver Spring, MD : IEEE Computer Society Press, 1983.
  • 出版年：1983
...

Software prototyping, formal methods and VDM
  • 作者：Hekmatpour,Sharam.
  • ISBN：020117572X 5.90
  • 出版社：Wokingham : Addison-Wesley Pub., c1988.
  • 出版年：1988