close
1.

図書
図書
1. Developements in concurrency and communication
edited by C.A.R. Hoare
出版情報: Reading, Mass. : Addison-Wesley Pub. Co., 1990  xiv, 336 p. ; 24 cm
シリーズ名: The UT Year of Programming series
所蔵情報: loading…
2.

図書
図書
2. Structured programming
O.-J. Dahl, E.W. Dijkstra, C.A.R. Hoare
出版情報: London ; New York : Academic Press, 1972  viii, 220 p. ; 24 cm
シリーズ名: A.P.I.C. studies in data processing ; no. 8
所蔵情報: loading…
3.

図書
図書
3. Mathematical logic and programming languages
edited by C.A.R. Hoare and J.C. Shepherdson
出版情報: Englewood Cliffs, N.J. : Prentice Hall International, c1985  184 p. ; 25 cm
シリーズ名: Prentice-Hall International series in computer science
所蔵情報: loading…
4.

図書
図書
4. 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  xvii, 579 p. ; 25 cm
シリーズ名: Lecture notes in computer science ; 428
所蔵情報: loading…
5.

図書
図書
5. 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  xii, 390 p. ; 24 cm
シリーズ名: A.P.I.C. studies in data processing ; no. 9
所蔵情報: loading…
6.

図書
図書
6. Scientific applications of multiprocessors
edited by R. Elliott and C.A.R. Hoare
出版情報: New York ; Tokyo : Prentice Hall, 1989  vi, 143 p. ; 25 cm
シリーズ名: Prentice-Hall International series in computer science
所蔵情報: loading…
7.

図書
図書
7. 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  xii, 264 p. ; 22 cm
所蔵情報: loading…
8.

図書
図書
8. Communicating sequential processes (: pbk)
C.A.R. Hoare
出版情報: Englewood Cliffs, N.J. : Prentice-Hall International, c1985  viii, 256 p. ; 24 cm
シリーズ名: Prentice-Hall International series in computer science
所蔵情報: loading…
目次情報: 続きを見る
Processes / 1：
Concurrency / 2：
Nondeterminism / 3：
Communication / 4：
Sequential Processes / 5：
Shared Resources / 6：
Discussion / 7：
Processes / 1：
Concurrency / 2：
Nondeterminism / 3：
9.

図書
図書
9. Communicating Sequential Processes : the first 25 years : Symposium on the Occasion of 25 Years of CSP London, UK, July 7-8, 2004 : revised invited papers
Ali E. Abdallah, Cliff B. Jones, Jeff W. Sanders (eds.)
出版情報: Berlin : Springer, c2005  xiv, 320 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 3525 . Lecture notes in computer science
所蔵情報: loading…
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼