プログラムの演繹的導出法の調査研究 : 中間報告書

書誌事項

プログラムの演繹的導出法の調査研究 : 中間報告書

情報処理振興事業協会技術センター, 1992.3

  • 第1分冊

タイトル読み

プログラム ノ エンエキテキ ドウシュツホウ ノ チョウサ ケンキュウ : チュウカン ホウコクショ

大学図書館所蔵 件 / 1

この図書・雑誌をさがす

注記

表紙に「3技-128」、奥付に「報告書番号 3枝-128」とあり

「プログラムの演繹的導出法の調査研究」プロジェクトの第2年目の報告書

参考文献あり

詳細情報

ページトップへ