著者典拠情報

標目形：
Anderson, Robert Brockett, 1941-
属性：
Personal
日付：
1941-
から見よ参照形：
アンダスン, ロバート B.
注記：
His Proving programs correct, c1978: t.p. (Robert B. Anderson)
Tel. call to pub., 4/20/78: (Robert Brockett Anderson; b. 12/15/41)
著者典拠ID：
DA02024611


1.

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

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