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

Software Prototyping Formal Methods and Vd
出版社：New York: Addison-Wesley Publishing Company, 1988.
ISBN：020117572X
出版年：1988
作者：Hekmatpour. S.
资源类型：图书
细分类型：馆内阅览,西文文献
2浏览量
 馆际互借
访问借阅管理系统
相关推荐
...

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

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

Formal methods and software development.
  • 作者：Goos,G.
  • ISBN：3540151990
  • 出版社：Berlin: Springer-Verlag, 1985.
  • 出版年：1985
...

Formal methods for software architectures : Third International School on Formal Methods for the Des
  • 作者：International School on Formal Methods for the Design of Computer,Communication and Software System
  • ISBN：3540200835
  • 出版社：Berlin ; New York : Springer, 2003.
  • 出版年：2003
...

Formal methods for software architectures : Third International School on Formal Methods for the Des
  • 作者：International School on Formal Methods for the Design of Computer,Communication and Software System
  • ISBN：3540200835 XEU39.00
  • 出版社：Berlin ; New York : Springer, 2003.
  • 出版年：2003
...

Formal methods and software engineering : 7th International Conference on Formal Engineering Methods
  • 作者：Lau,Kung-Kiu
  • ISBN：3540297979
  • 出版社：Berlin ; New York : Springer, c2005.
  • 出版年：2005