1.

図書
図書
1. プログラム検証論
林晋著
出版情報: 東京 : 共立出版, 1995.9
シリーズ名: 情報数学講座 ; 8
所蔵情報: 図書館, 研究室
2.

図書
図書
2. C言語
河西朝雄著
出版情報: 東京 : ナツメ社, 1990.5
シリーズ名: 入門ソフトウェアシリーズ ; 1
所蔵情報: 図書館
3.

図書
図書
3. 入門C言語. 改訂新版, 第2版
三田典玄著
出版情報: 東京 : アスキー, 1990.12
シリーズ名: アスキー・ラーニングシステム ; 1 入門コース
所蔵情報: 図書館