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:

    “I think the adjective “post-modernist” really means “mannerist.” Books about books is fun but frivolous.”
    —Angela Carter (1940–1992)

    “Proverbs, like the sacred books of each nation, are the sanctuary of the intuitions. That which the droning world, chained to appearances, will not allow the realist to say in his own words, it will suffer him to say in proverbs without contradiction.”
    —Ralph Waldo Emerson (1803–1882)

    “Writers ought to be regarded as wrongdoers who deserve to be acquitted or pardoned only in the rarest cases: that would be a way to keep books from getting out of hand.”
    —Friedrich Nietzsche (1844–1900)