| 暂存书架(0) | 登录

检索到 1 条 责任者=Berg, H. K. 的结果    

 


所有图书 可借图书

  1. 西文图书1.The Use of formal specification of software, June 25-27, 1979, Berlin / TP31-53/SUF

    馆藏复本：1
    可借复本：1     edited by H.K. Berg and W.K. Giloi.
    Springer-Verlag, 1980.
    (0) 馆藏

返回顶部