検索結果 1 - 2 結果 / 2 検索語 'Denvir, Tim', 処理時間: 0.01秒 結果の絞り込み
  1. 1
    Introduction to discrete mathematics for software engineering /
    図書
    著者: Denvir, Tim
    出版事項 1986
    お気に入りに追加
    保存先:
  2. 2
    FME '94, industrial benefit of formal methods : Second International Symposium of Formal Methods Europe, Barcelona, Spain, October 24-28, 1994 : proceedings /
    会議録 図書
    出版事項 1994
    その他の著者: “…Denvir, Tim, 1939-…”
    お気に入りに追加
    保存先:
検索ツール: RSSフィード – 検索結果をメール