プログラム検証のための帰納的定理自動証明法の研究

著者
    • 外山, 芳人 トヤマ, ヨシヒト
書誌事項

プログラム検証のための帰納的定理自動証明法の研究

外山芳人研究代表者

(科学研究費補助金基盤研究(C)(2)研究成果報告書, 平成10-13年度)

[外山芳人], 2002.3

タイトル別名

平成10年度~平成13年度科学研究費補助金(基盤研究(C)(2))研究成果報告書(課題番号10680346)

タイトル読み

プログラム ケンショウ ノ タメ ノ キノウテキ テイリ ジドウ ショウメイホウ ノ ケンキュウ

この図書・雑誌をさがす
関連文献: 1件中  1-1を表示
詳細情報
  • NII書誌ID(NCID)
    BB06392039
  • 出版国コード
    ja
  • タイトル言語コード
    jpn
  • 本文言語コード
    engjpn
  • 出版地
    [仙台]
  • ページ数/冊数
    226p
  • 大きさ
    30cm
  • 親書誌ID
ページトップへ