Showing 1 - 4 results of 4 for search 'VDM-Europe', 查詢時間: 0.01s Refine Results
  1. 1
    VDM '87 : VDM, a formal method at work : VDM-Europe symposium 1987, Brussels, Belgium, March 23-26, 1987 : proceedings /
    Conference Proceeding 圖書
    出版 1987
    “...VDM-Europe...”
    加到收藏夾
    Saved in:
  2. 2
    VDM '90 : VDM and Z : formal methods in software development : third international symposium of VDM Europe, Kiel, FRG, April 17-21, 1990 ; proceedings /
    Conference Proceeding 圖書
    出版 1990
    “...VDM-Europe...”
    加到收藏夾
    Saved in:
  3. 3
    VDM '88 : VDM, the way ahead : 2nd VDM-Europe symposium, Dublin, Ireland, September, 1988 : proceedings /
    Conference Proceeding 圖書
    出版 1988
    “...VDM-Europe...”
    加到收藏夾
    Saved in:
  4. 4
    VDM '91 : formal software development methods : 4th international symposium of VDM Europe, Noordwijkerhout, The Netherlands, October 21-25, 1991 : proceedings /
    Conference Proceeding 圖書
    出版 1991
    “...VDM-Europe...”
    加到收藏夾
    Saved in:
檢索工具: 得到RSS訂閱 – 推薦此搜索