Menu

C. A. R. Hoare

16 published titles

Computer science : an inaugural lecture delivered before the Queen's University of Belfast on 10 February 1971

1 edition

  • ISBN: 085389051X
  • Queen's University of Belfast
  • 1971
  • Details

Structured programming

(Contributor)

2 editions

  • ISBN: 0122005503
  • Academic Press
  • 1972
  • Details
  • ISBN: 0122005562
  • Academic Press
  • 1972
  • Details

Operating systems techniques : proceedings of a seminar held at Queen's University, Belfast, 1971

(Contributor)

1 edition

  • ISBN: 0123506506
  • Academic Press
  • 1972
  • Details

Communicating sequential processes

1 edition

  • ISBN: 0131532715
  • Prentice-Hall International
  • 1985
  • Details

Mathematical logic and programming languages

(Contributor)

1 edition

  • ISBN: 0135614651
  • Prentice-Hall
  • 1985
  • Details

Laws of programming : a tutorial paper

1 edition

  • Oxford University Computing Laboratory, Programming Research Group
  • 1985
  • Details

The weakest prespecification

1 edition

  • Oxford University Computing Laboratory, Programming Research Group
  • 1985
  • Details

The mathematics of programming : an inaugural lecture delivered before the University of Oxford on 17th October 1985

1 edition

  • ISBN: 0199515506
  • Clarendon
  • 1986
  • Details

Essays in computing science

1 edition

  • ISBN: 0132840278
  • Prentice Hall
  • 1989
  • Details

Scientific applications of multiprocessors

(Contributor)

1 edition

  • ISBN: 0137957742
  • Prentice Hall
  • 1989
  • Details

Mechanized reasoning and hardware design

(Contributor)

1 edition

  • ISBN: 0135724058
  • Prentice Hall
  • 1992
  • Details

A Classical mind : essays in honour of C. A. R. Hoare

(Contributor)

1 edition

  • ISBN: 0132948443
  • Prentice Hall
  • 1994
  • Details

Unifying theories of programming

1 edition

  • ISBN: 0134587618
  • Prentice Hall
  • 1998
  • Details

Millennial perspectives in computer science : proceedings of the 1999 Oxford-Microsoft Symposium in honour of Professor Sir Antony Hoare

(Contributor)

1 edition

  • ISBN: 0333922301
  • Palgrave
  • 2000
  • Details

Software system reliability and security

(Contributor)

1 edition

  • ISBN: 9781586037314
  • IOS Press
  • 2007
  • Details

Mechanised Reasoning and Hardware Design

1 edition

  • ISBN: 0135724058
  • Prentice-Hall
  • Details

obnb.uk is a Good Stuff website.