西安工业大学图书馆书目检索系统

| 暂存书架(0) | 登录

检索到 2 条 责任者=Toetenel, W. J., 的结果    

 


所有图书 可借图书

  1. 西文图书1.VDM '91 : formal software development methods : 4th international symposium of VDM Europe, Noordwijk TP311.52-53/E3:2(4TH:91)

    馆藏复本：1
    可借复本：1     S. Prehn, W.J. Toetenel (eds.)
    Springer-Verlag, c1991.
    (0) 馆藏

  2. 西文图书2.VDM '91 : formal software development methods : 4th international symposium of VDM Europe, Noordwijk TP311.52-53/E3:(4TH:91)

    馆藏复本：1
    可借复本：1     S. Prehn, W.J. Toetenel (eds.).
    Springer-Verlag, c1991.
    (0) 馆藏

返回顶部