検索結果 1 - 6 結果 / 6 検索語 'Broy, M., 1949-', 処理時間: 0.01秒 結果の絞り込み
  1. 1
    KORSO : methods, languages, and tools for the construction of correct software : final report /
    図書
    出版事項 1995
    その他の著者: “…Broy, M., 1949-…”
    お気に入りに追加
    保存先:
  2. 2
    Theoretical foundations of programming methodology : lecture notes of an international summer school, directed by F.L. Bauer, E.W. Dijkstra, and C.A.R. Hoare /
    会議録 図書
    出版事項 1982
    その他の著者: “…Broy, M., 1949-…”
    お気に入りに追加
    保存先:
  3. 3
    Methods of programming : selected papers on the CIP-project /
    図書
    出版事項 1991
    その他の著者: “…Broy, M., 1949-…”
    お気に入りに追加
    保存先:
  4. 4
    Program construction : international summer school /
    図書
    出版事項 1979
    その他の著者: “…Broy, M., 1949-…”
    お気に入りに追加
    保存先:
  5. 5
    Formal methods in programming and their applications : international conference, Academgorodok, Russia, June/July 1993 : proceedings /
    図書
    出版事項 1993
    その他の著者: “…Broy, M., 1949-…”
    お気に入りに追加
    保存先:
  6. 6
    Engineering theories of software construction /
    会議録 マイクロフィルム 図書
    出版事項 2001
    その他の著者: “…Broy, M., 1949-…”
    お気に入りに追加
    保存先:
検索ツール: RSSフィード – 検索結果をメール