Tony Hoare - Books

Books

  • O.-J. Dahl, E. W. Dijkstra and C. A. R. Hoare (1972). Structured Programming. Academic Press. ISBN 0-12-200550-3. OCLC 23937947.
  • C. A. R. Hoare (1985). Communicating Sequential Processes. (available online at http://www.usingcsp.com/ in PDF format). Prentice Hall International Series in Computer Science. ISBN 0-13-153271-5 hardback or ISBN 0-13-153289-8 paperback.
  • C. A. R. Hoare and M. J. C. Gordon (1992). Mechanised Reasoning and Hardware Design. Prentice Hall International Series in Computer Science. ISBN 0-13-572405-8. OCLC 25712842.
  • C. A. R. Hoare and He Jifeng (1998). Unifying Theories of Programming. Prentice Hall International Series in Computer Science. ISBN 0-13-458761-8. OCLC 38199961.

Read more about this topic:  Tony Hoare

Famous quotes containing the word books:

    “Only in books the flat and final happens,
    Only in dreams we meet and interlock....”
    —Philip Larkin (1922–1986)

    “It is easy to lose confidence in our natural ability to raise children. The true techniques for raising children are simple: Be with them, play with them, talk to them. You are not squandering their time no matter what the latest child development books say about “purposeful play” and “cognitive learning skills.””
    —Neil Kurshan (20th century)

    “There are books ... which take rank in your life with parents and lovers and passionate experiences, so medicinal, so stringent, so revolutionary, so authoritative.”
    —Ralph Waldo Emerson (1803–1882)