Hoare, C. A. R. (Charles Antony Richard), 1934-

著者名典拠詳細を表示

著者の属性 個人
一般注記 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)
生没年等 1934
から見よ参照 Хоар, Ч.
Hoare, Charles Antony Richard
Hoare, Charles Antony Richard, 1934-
ホーア, C. A. R.<ホーア, C. A. R.>
コード類 典拠ID=AU00000057  NCID=DA00020063
1 Mathematical logic and programming languages / edited by C.A.R. Hoare and J.C. Shepherdson Englewood Cliffs, N.J. : Prentice Hall International , c1985
2 構造化プログラミング / E.W.ダイクストラ, C.A.R.ホーア, O.-J.ダール共著 ; 野下浩平, 川合慧, 武市正人共訳 東京 : サイエンス社 , 1975.5
3 Structured programming / O.-J. Dahl, E.W. Dijkstra, C.A.R. Hoare London ; New York : Academic Press , 1972
4 Operating systems techniques : proceedings of a Seminar held at Queen's University, Belfast, 1971 / edited by C. A. R. Hoare, R.H. Perrott London ; New York : Academic Press , 1972
5 The Theory of mathematical machines / Edited by Yu. Ya. Bazilevskii ;Translated from the Russian by C. A. R. Hoare ; Translation edited by J. M. Jackson Oxford ; New York : Pergamon Press , 1963