-
西文图书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.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) 馆藏