1.

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

図書
図書
2. ゲーデルの謎を解く
林晋著
出版情報: 東京 : 岩波書店, 1993.11
シリーズ名: 岩波科学ライブラリー ; 6
所蔵情報: loading…
3.

図書
図書
3. 構成的プログラミングの基礎
林晋, 小林聡共著
出版情報: 東京 : 遊星社 , 東京 : 星雲社 (発売), 1991.4
所蔵情報: loading…