An analytical equivalence theory of programs with applications プログラムの解析的同値理論及びその応用

この論文をさがす

著者

    • 水谷, 哲也 ミズタニ, テツヤ

書誌事項

タイトル

An analytical equivalence theory of programs with applications

タイトル別名

プログラムの解析的同値理論及びその応用

著者名

水谷, 哲也

著者別名

ミズタニ, テツヤ

学位授与大学

筑波大学

取得学位

工学博士

学位授与番号

博甲第550号

学位授与年月日

1988-03-25

注記・抄録

博士論文

各種コード

  • NII論文ID(NAID)
    500000059027
  • NII著者ID(NRID)
    • 8000000059181
  • NDL書誌ID
    • 000000223341
  • データ提供元
    • NDL-OPAC
ページトップへ