Showing 1 - 2 results of 2 for search 'Denvir, Tim', 查詢時間: 0.01s Refine Results
  1. 1
    Introduction to discrete mathematics for software engineering /
    圖書
    由 Denvir, Tim
    出版 1986
    加到收藏夾
    Saved in:
  2. 2
    FME '94, industrial benefit of formal methods : Second International Symposium of Formal Methods Europe, Barcelona, Spain, October 24-28, 1994 : proceedings /
    Conference Proceeding 圖書
    出版 1994
    其他作者: “...Denvir, Tim, 1939-...”
    加到收藏夾
    Saved in:
檢索工具: 得到RSS訂閱 – 推薦此搜索