プログラムの演繹的導出法の調査研究 : 中間報告書
著者
書誌事項
プログラムの演繹的導出法の調査研究 : 中間報告書
情報処理振興事業協会技術センター, 1992.3
- 第1分冊
- タイトル読み
-
プログラム ノ エンエキテキ ドウシュツホウ ノ チョウサ ケンキュウ : チュウカン ホウコクショ
大学図書館所蔵 全1件
  青森
  岩手
  宮城
  秋田
  山形
  福島
  茨城
  栃木
  群馬
  埼玉
  千葉
  東京
  神奈川
  新潟
  富山
  石川
  福井
  山梨
  長野
  岐阜
  静岡
  愛知
  三重
  滋賀
  京都
  大阪
  兵庫
  奈良
  和歌山
  鳥取
  島根
  岡山
  広島
  山口
  徳島
  香川
  愛媛
  高知
  福岡
  佐賀
  長崎
  熊本
  大分
  宮崎
  鹿児島
  沖縄
  韓国
  中国
  タイ
  イギリス
  ドイツ
  スイス
  フランス
  ベルギー
  オランダ
  スウェーデン
  ノルウェー
  アメリカ
この図書・雑誌をさがす
注記
表紙に「3技-128」、奥付に「報告書番号 3枝-128」とあり
「プログラムの演繹的導出法の調査研究」プロジェクトの第2年目の報告書
参考文献あり