Research Catalog
New! Try our Article Search to discover online journals, books, and more from home with your library card.
Displaying 1-13 of 13 results for author "Hoare, C. A. R. (Charles Antony Richard), 1934-"
Mathematical logic and programming languages / edited by C.A.R. Hoare and J.C. Shepherdson.
- Text
- Englewood Cliffs, N.J. : Prentice/Hall International, c1985.
- 1985
- 1 Item
Item details Format Call Number Item Location Text JSE 87-1629 Offsite VDM '90 : VDM and Z : formal methods in software development : Third International Symposium of VDM Europe, Kiel, FRG, April 17-21, 1990 proceedings / D. Bjørner, C.A.R. Hoare, H. Langmaack (eds.).
- Text
- Berlin ; New York : Springer-Verlag, c1990.
- 1990
- 1 Item
Item details Format Call Number Item Location Text JSE 90-1374 Offsite Developments in concurrency and communication / edited by C.A.R. Hoare.
- Text
- Reading, Mass. : Addison-Wesley Pub. Co., c1990.
- 1990
- 1 Item
Item details Format Call Number Item Location Text JSE 91-2004 Offsite A classical mind : essays in honour of C.A.R. Hoare / edited by A.W. Roscoe.
- Text
- New York : Prentice Hall, 1994.
- 1994
- 1 Item
Item details Format Call Number Item Location Text QA76 .A23 1994g Off-site Structured programming / [by] O.-J. Dahl, E. W. Dijkstra [and] C. A. R. Hoare.
- Text
- London ; New York : Academic Press, 1972.
- 1972
- 1 Item
Item details Format Call Number Item Location Text QA76.6 .D33 Off-site 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.).
- Text
- Berlin ; New York : Springer, [2005], ©2005.
- 2005-2005
- 1 Item
Item details Format Call Number Item Location Text QA76.6 .S97 2004g Off-site Scientific applications of multiprocessors / edited by R. Elliott, C.A.R. Hoare.
- Text
- New York : Prentice Hall International, 1989.
- 1989
- 1 Item
Item details Format Call Number Item Location Text Q183.9 .S29 1989 Off-site VDM '90 : VDM and Z : formal methods in software development : Third International Symposium of VDM Europe, Kiel, FRG, April 17-21, 1990 proceedings / D. Bjørner, C.A.R. Hoare, H. Langmaack (eds.).
- Text
- Berlin ; New York : Springer-Verlag, [1990], ©1990.
- 1990-1990
- 1 Item
Item details Format Call Number Item Location Text QA76.76.D47 V36 1990 Off-site Operating systems techniques; proceedings, edited by C. A. R. Hoare [and] R. H. Perrott.
- Text
- London, New York, Academic Press, 1972.
- 1972
- 1 Item
Item details Format Call Number Item Location Text QA76.5.xI57 1971 Off-site Structured programming, [by] O.-J. Dahl, E. W. Dijkstra [and] C. A. R. Hoare.
- Text
- London, New York, Academic Press, 1972.
- 1972
- 1 Item
Item details Format Call Number Item Location Text QA76.6.D33 Off-site VDM '90 : VDM and Z : formal methods in software development : Third International Symposium of VDM Europe, Kiel, FRG, April 17-21, 1990 proceedings / D. Bjørner, C.A.R. Hoare, H. Langmaack (eds.).
- Text
- 1990
- 1 Item
Item details Format Call Number Item Location Text QA76.76.D47 V36 1990 Off-site Operating systems techniques : proceedings of a seminar held at Queen's University, Belfast, 1971 / edited by C. A. R. Hoare [and] R. H. Perrott.
- Text
- London ; New York : Academic Press, [1972]
- 1972
- 1 Item
Item details Format Call Number Item Location Text QA76.5.xI57 1971 Off-site Structured programming / O.-J. Dahl, E.W. Dijkstra, C.A.R. Hoare.
- Text
- London ; New York : Academic Press, 1972.
- 1972
- 1 Item
Item details Format Call Number Item Location Text QA76.6 .D33 Off-site
No results found from Digital Research Books Beta
Digital books for research from multiple sources world wide- all free to read, download, and keep. No Library Card is Required. Read more about the project.
Explore Digital Research Books Beta