| 暂存书架(0) | 登录

检索到 3 条 责任者=Kahn G. 的结果    

 


所有图书 可借图书

  1. 西文图书1.Construction, amelioration et verification de programmes = Proving and improving programs : 1, 2,... TP31-53/CAV

    馆藏复本：1
    可借复本：0     organise? par l'I.R.I.A., Institut de recherche d'informatique et d'automatique ; edited by G. Hu...
    I.R.I.A., 1975.
    (0) 馆藏

  2. 西文图书2.Semantics of concurrent computation : proceedings of the international symposium, 釫vian, France, Ju TP312/KG

    馆藏复本：1
    可借复本：0     edited by Gilles Kahn.
    Springer-Verlag, 1979.
    (0) 馆藏

  3. 西文图书3.Progressive filing / 9th ed. C931.46/SJR/(9)

    馆藏复本：1
    可借复本：1     Jeffrey R. Stewart, Jr., Judith A. Scharle, Gilbert Kahn.
    Gregg Division, McGraw-Hill, c1980.
    (0) 馆藏

返回顶部