Skip to main content
PBS logo
 
 

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
Computer Science [New lecture series / Queen's University of Belfast] (Paperback)
Essays in Computing Science
Essays in Computing Science [Prentice Hall International Series in Computer Science] (Hardcover)
ISBN-13: 9780132840279
ISBN-10: 0132840278
  ?

Mathematical Logic and Programming Languages
Mathematical Logic and Programming Languages [Prentice-Hall International Series in Computer Science] (Hardcover)
ISBN-13: 9780135614655
ISBN-10: 0135614651
Genres: Computers & Technology, Reference, Science & Math
  ?

Mechanized Reasoning and Hardware Design
Mechanized Reasoning and Hardware Design [Prentice-Hall International Series in Computer Science] (Hardcover)
ISBN-13: 9780135724057
ISBN-10: 0135724058
Genre: Computers & Technology
  ?

Operating Systems Techniques Proceedings
Operating Systems Techniques Proceedings [A.P.I.C. Studies in Data Processing, No. 9.] (Hardcover)
ISBN-13: 9780123506504
ISBN-10: 0123506506
Genres: Computers & Technology, Reference, Science & Math
  ?

Vdm '90 Vdm and ZFormal Methods in Software Development
Vdm '90 Vdm and Zformal Methods in Software Development [Lecture Notes in Computer Science] (Paperback)
ISBN-13: 9780387525136
ISBN-10: 0387525130
  ?