関数的論理型プログラム言語の設計と, それに基づく証明・検証・合成システムの作成

CiNii 所蔵館 1館

書誌事項

タイトル
"関数的論理型プログラム言語の設計と, それに基づく証明・検証・合成システムの作成"
責任表示
研究代表者 佐藤雅彦
出版者
  • [佐藤雅彦]
出版年月
  • 1987.3
書籍サイズ
26cm
タイトル別名
  • カンスウテキ ロンリガタ プログラム ゲンゴ ノ セッケイ ト ソレニ モトズク ショウメイ ケンショウ ゴウセイ システム ノ サクセイ
  • 昭和61年度科学研究費補助金(一般研究C)研究成果報告書(課題番号 60580018)
  • 一般研究C 60580018 関数的論理型プログラム言語の設計

この図書・雑誌をさがす

注記

研究課題番号: 60580018

研究代表者: 佐藤雅彦 (東北大学電気通信研究所教授)

関連図書・雑誌

もっと見る

詳細情報 詳細情報について

  • CRID
    1130000793731520768
  • NII書誌ID
    BB12542420
  • 出版国コード
    ja
  • タイトル言語コード
    ja
  • 出版地
    • [仙台]
  • データソース種別
    • CiNii Books
ページトップへ