情報証明論
目次
第１節 データ上書きの弊害と運命論
第２節 上書きをしないプログラム
第３節 条件分岐
第４節 プログラムの論理モデルと関数化
テスト
Logをみる
Back（情報証明論表紙）
第６章 ソフトウェアの論理モデルT
第６章 ソフトウェアの論理モデルT