江汉大学图书馆书目检索系统

| 暂存书架(0) | 登录

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

 


所有图书 可借图书

  1. 西文图书1.Coordination models and languages : 5th international conference, COORDINATION 2002, York, UK, April TP311.52/C778

    馆藏复本：1
    可借复本：1     Coordination 2002
    Springer, c2002.
    (0) 馆藏

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

    馆藏复本：1
    可借复本：1     WADT 2001
    Springer, c2001.
    (0) 馆藏

  3. 西文图书3.FME 2001 : formal methods for increasing software productivity : International Symposium of Formal M TP311.52/F648

    馆藏复本：1
    可借复本：1     International Symposium of Formal Methods Europe
    Springer, c2001.
    (0) 馆藏

  4. 中文图书4.极限编程透视 TP311.52/132

    馆藏复本：3
    可借复本：2     (美) Michele Marchesi ... 等著
    电子工业出版社 2004
    (0) 馆藏

返回顶部