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