検索結果 1 - 3 結果 / 3 検索語 'Loeckx, Jacques, 1931-', 処理時間: 0.01秒 結果の絞り込み
  1. 1
    The foundations of program verification /
    図書
    著者: Loeckx, Jacques, 1931-
    出版事項 1984
    お気に入りに追加
    保存先:
  2. 2
    Foundations of programming languages /
    図書
    著者: Loeckx, Jacques, 1931-
    出版事項 1988
    お気に入りに追加
    保存先:
  3. 3
    Automata, languages and programming. 2d Colloquium, University of Saarbr ucken, July 29 - August 2, 1974. /
    会議録 図書
    出版事項 1974
    その他の著者: “…Loeckx, Jacques, 1931-…”
    お気に入りに追加
    保存先:
検索ツール: RSSフィード – 検索結果をメール