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

VDM ''88 : VDM the way ahead : 2nd VDM-Europe symposium Dublin Ireland September 1988 : proceedi
出版社：Berlin ; New York : Springer-Verlag, c1988.
ISBN：3540502149
出版年：1988
作者：Bloomfield,R.
资源类型：图书
细分类型：西文文献
1浏览量
 馆际互借
访问借阅管理系统
相关推荐
...

VDM ''87 : VDM, a formal method at work : VDM-Europe symposium 1987, Brussels, Belgium, March 23-26,
  • 作者：Bjørner,D.
  • ISBN：0387176543
  • 出版社：Berlin ; New York : Springer-Verlag, c1987.
  • 出版年：1987
...

VDM ''91 : formal software development methods : 4th international symposium of VDM Europe, Noordwijk
  • 作者：VDM ''91
  • ISBN：3540548343
  • 出版社：Berlin ; New York : Springer-Verlag, c1991.
  • 出版年：1991
...

VDM ''90 : VDM and Z - formal methods in software development : Third International Symposium of VDM
  • 作者：Bjner,D.
  • ISBN：3540525130
  • 出版社：Berlin ; Hong Kong : Springer-Verlag, 1990.
  • 出版年：1990
...

VDM and Z-formal methods in software development : VDM ''90 : 3rd International Symposium of VDM Euro
  • 作者：Bjorner,D.
  • ISBN：3540525130 33.50
  • 出版社：Berlin : Springer, c1990
  • 出版年：1990
...

VDM and Z-formal methods in software development : VDM ''90 : 3rd International Symposium of VDM Euro
  • 作者：Bjorner,D.
  • ISBN：3540525130
  • 出版社：Berlin : Springer, c1990
  • 出版年：1990
...

Systematic software development using VDM
  • 作者：Jones,C. B.
  • ISBN：0138807256
  • 出版社：Englewood Cliffs, N.J. : Prentice Hall International, 1986.
  • 出版年：1986