| 暂存书架(0) | 登录

检索到 3 条 分类号=TP311.52-53 的结果    

 


所有图书 可借图书

  1. 西文图书1.Recent trends in algebraic development techniques : 15th International Workshop, WADT 2001 joint wit TP311.52-53/WAD

    馆藏复本：1
    可借复本：1     Maura Cerioli, Gianna Reggio (eds.).
    Springer, c2001.
    (0) 馆藏

  2. 西文图书2.FME 2001 : formal methods for increasing software productivity : International Symposium of Formal M TP311.52-53/ISF

    馆藏复本：1
    可借复本：1     José Nuno Oliveira, Pamela Zave (eds.).
    Springer, c2001.
    (0) 馆藏

  3. 中文图书3.团队之美 TP311.52-53/1

    馆藏复本：2
    可借复本：2     (美) Andrew Stellman, Jennifer Greene编
    机械工业出版社 2010
    (0) 馆藏

返回顶部