1.

図書
図書
1. 演習プログラムの証明
ロバート・B.アンダスン著 ; 有沢誠訳
出版情報: 東京 : 近代科学社, 1980.11
シリーズ名: ソフトウェア工学ライブラリ ; [1]
所蔵情報: loading…
2.

図書
図書
2. Proving programs correct
Robert B. Anderson
出版情報: New York : Wiley, c1979
所蔵情報: loading…