VDM ''87 : VDM, a formal method at work : VDM-Europe symposium 1987, Brussels, Belgium, March 23-26,

VDM ''87 : VDM a formal method at work : VDM-Europe symposium 1987 Brussels Belgium March 23-26

出版社：Berlin ; New York : Springer-Verlag, c1987.

ISBN：0387176543

出版年：1987

作者：Bjørner,D.

资源类型：图书

细分类型：西文文献

1浏览量

问图书管理员

点赞

收藏

访问借阅管理系统

VDM ''88 : VDM, the way ahead : 2nd VDM-Europe symposium, Dublin, Ireland, September, 1988 : proceedi

作者：Bloomfield,R.
ISBN：3540502149
出版社：Berlin ; New York : Springer-Verlag, c1988.
出版年：1988

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

Software prototyping, formal methods and VDM

作者：Hekmatpour,Sharam.
ISBN：020117572X 5.90
出版社：Wokingham : Addison-Wesley Pub., c1988.
出版年：1988