構成的プログラミングを実現する証明・検証・合成システム

著者

• 佐藤, 雅彦 サトウ, マサヒコ

書誌事項

構成的プログラミングを実現する証明・検証・合成システム

佐藤雅彦研究代表

[佐藤雅彦], 1996.3

タイトル別名

平成7年度科学研究費補助金(一般研究B)研究成果報告書(課題番号06452387)

タイトル読み

コウセイテキ プログラミング オ ジツゲン スル ショウメイ ケンショウ ゴウセイ システム

詳細情報

• NII書誌ID(NCID): BN15623953
• 出版国コード: ja
• タイトル言語コード: jpn
• 本文言語コード: engjpn
• 出版地: [京都]
• ページ数/冊数: 202p
• 大きさ: 30cm