著者典拠情報

著者標目形：
Hoare, C. A. R. (Charles Antony Richard), 1934-
属性：
Personal
日付：
1934
から見よ参照形：
Хоар, Ч.
Hoare, Charles Antony Richard
Hoare, Charles Antony Richard, 1934-
ホーア, C. A. R.||ホーア, C. A. R.
注記：
His Communicating sequential processes, 1985: CIP t.p. (C.A.R. Hoare, prof. of computer science, Oxford University) CIP data sheet (b. 1-11-34)
LC data base, 10-3-84 (hdg.: Hoare, Charles Antony Richard; usage: C.A.R. Hoare)
EDSRC:構造化プログラミング / E.W.ダイクストラ, C.A.R.ホーア, O.-J.ダール共著 ; 野下浩平, 川合, 武市正人共訳(サイエンス社, 1975.5)
著者典拠ID：
DA00020063


1.

図書
図書
1. ホーアCSPモデルの理論
C. A. R. Hoare [著] ; 吉田信博訳
出版情報: 東京 : 丸善, 1992.2
所蔵情報: 図書館
2.

図書
図書
2. VDM '90 : VDM and Z : formal methods in software development : Third International Symposium of VDM Europe, Kiel, FRG, April 17-21, 1990, proceedings (: gw ; : us)
D. Bjørner, C.A.R. Hoare, H. Langmaack (eds.)
出版情報: Berlin ; New York : Springer-Verlag, c1990
シリーズ名: Lecture notes in computer science ; 428
所蔵情報: 図書館
3.

図書
図書
3. 構造化プログラミング
E.W.ダイクストラ, C.A.R.ホーア, O.-J.ダール共著 ; 野下浩平, 川合慧, 武市正人共訳
出版情報: 東京 : サイエンス社, 1975.5
シリーズ名: サイエンスライブラリ情報電算機 ; 32
所蔵情報: 図書館, 研究室