フォ-マルアプロ-チによるソフトウェア開発 (ソフトウェア生産システム特集)

スポンサーリンク

概要

• 論文の詳細を見る
• 沖電気工業沖時報編集委員会の論文

著者

• 高山 幸秀

  新世代コンピュータ技術開発機構

関連論文

• 証明コンパイラにおける拡張射影手法
• フォ-マルアプロ-チによるソフトウェア開発 (ソフトウェア生産システム特集)

スポンサーリンク