Search - List of Books by C. A. R. Hoare

Sir Charles Antony Richard Hoare (born 11 January 1934), commonly known as Tony Hoare or C.A.R. Hoare, is a British computer scientist best known for the development (in 1960, at age 26) of Quicksort, one of the world's most widely used sorting algorithms. He also developed Hoare logic for verifying program correctness, and the formal language Communicating Sequential Processes (CSP) to specify the interactions of concurrent process (including the dining philosophers problem) and the inspiration for the occam programming language.

Biography   more �

Quotes   more �

Awards   more �

Books   more �

This author page uses material from the Wikipedia article "C. A. R. Hoare", which is released under the Creative Commons Attribution-Share-Alike License 3.0
Total Books: 6
1989 - Essays in Computing Science [Prentice Hall International Series in Computer Science] (Hardcover)
Operating Systems Techniques Proceedings [A.P.I.C. Studies in Data Processing, No. 9.] (Hardcover)
Mathematical Logic and Programming Languages [Prentice-Hall International Series in Computer Science] (Hardcover)
Mechanized Reasoning and Hardware Design [Prentice-Hall International Series in Computer Science] (Hardcover)
Vdm '90 Vdm and Z-Formal Methods in Software Development
Vdm '90 Vdm and Z-formal Methods in Software Development [Lecture Notes in Computer Science] (Paperback)
ISBN-13: 9780387525136
ISBN-10: 0387525130
  ?

Computer Science [New lecture series / Queen's University of Belfast] (Paperback)