プログラムの演繹的導出法の調査研究 : 中間報告書
著者
書誌事項
プログラムの演繹的導出法の調査研究 : 中間報告書
情報処理振興事業協会技術センター, 1992.3
- 第1分冊
- タイトル読み
-
プログラム ノ エンエキテキ ドウシュツホウ ノ チョウサ ケンキュウ : チュウカン ホウコクショ
大学図書館所蔵 件 / 全1件
-
該当する所蔵館はありません
- すべての絞り込み条件を解除する
この図書・雑誌をさがす
注記
表紙に「3技-128」、奥付に「報告書番号 3枝-128」とあり
「プログラムの演繹的導出法の調査研究」プロジェクトの第2年目の報告書
参考文献あり
