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

Author(s)

Bibliographic Information

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

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

  • 第1分冊

Title Transcription

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

Available at  / 1 libraries

Search this Book/Journal

Note

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

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

参考文献あり

Details

Page Top