関数的論理型プログラム言語の設計と, それに基づく証明・検証・合成システムの作成
CiNii
所蔵館 1館
書誌事項
- タイトル
- "関数的論理型プログラム言語の設計と, それに基づく証明・検証・合成システムの作成"
- 責任表示
- 研究代表者 佐藤雅彦
- 出版者
-
- [佐藤雅彦]
- 出版年月
-
- 1987.3
- 書籍サイズ
- 26cm
- タイトル別名
-
- カンスウテキ ロンリガタ プログラム ゲンゴ ノ セッケイ ト ソレニ モトズク ショウメイ ケンショウ ゴウセイ システム ノ サクセイ
- 昭和61年度科学研究費補助金(一般研究C)研究成果報告書(課題番号 60580018)
- 一般研究C 60580018 関数的論理型プログラム言語の設計
この図書・雑誌をさがす
注記
研究課題番号: 60580018
研究代表者: 佐藤雅彦 (東北大学電気通信研究所教授)
- Tweet
詳細情報 詳細情報について
-
- CRID
- 1130000793731520768
-
- NII書誌ID
- BB12542420
-
- 出版国コード
- ja
-
- タイトル言語コード
- ja
-
- 出版地
-
- [仙台]
-
- データソース種別
-
- CiNii Books