C. A. R. Hoare

Born: 1934

No bio available. Add one in Open Library.

Born: 1934

Books by C. A. R. Hoare (50 max)

+ shelf+ list

Operating systems techniques: proceedings

1972

International Seminar on Operating Systems Techniques (1971 Queen's University of Belfast), International Seminar on Operating Systems Techniques (1971 : Queen's University of Belfast), Ronald H. Perrott, C. A. R. Hoare

+ shelf+ list

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

1971

C. A. R. Hoare

+ shelf+ list

Communicating sequential processes

1985

C. A. R. Hoare

+ shelf+ list

Occam 2 Reference Manual: Inmos Limited (Prentice-Hall International Series in Computer Science)

1988

C. A. R. Hoare

+ shelf+ list

Essays in computing science

1989

C. A. R. Hoare

+ shelf+ list

VDM '90: VDM and Z : formal methods in software development : Third International Symposium of VDM Europe, Kiel, FRG, April 17-21, 1990 proceedings

1990

VDM-Europe. International Symposium, D. Bjorner, C. A. R. Hoare

+ shelf+ list

Software Systems Reliability and Security - Volume 9 NATO Security through Science Series: Information and Communication Security (Nato Security Through ... D: Information and Communication Security)

2007

M. Broy, C. A. R. Hoare

+ shelf+ list

Notes on data structuring

1968

C. A. R. Hoare

+ shelf+ list

A model for communicating sequential processes

1981

C. A. R. Hoare

+ shelf+ list

A theory of communicating sequential processes

1981

C. A. R. Hoare

+ shelf+ list

A calculus of total correctness for communicating processes

1981

C. A. R. Hoare

+ shelf+ list

Programming is an engineering profession.

1982

C. A. R. Hoare

+ shelf+ list

Algebraic specification and proof of properties of communicating sequential processes

1985

C. A. R. Hoare

+ shelf+ list

Mathematical logic and programming languages

1985

C. A. R. Hoare

+ shelf+ list

The weakest prespecification

1985

C. A. R. Hoare

+ shelf+ list

The Mathematics of Programming: An Inaugural Lecture Delivered Before the University of Oxford on 17 October 1985 (Inaugural Lectures)

1986

C. A. R. Hoare

+ shelf+ list

Scientific applications of multiprocessors

1989

Elliott, R. J., C. A. R. Hoare

+ shelf+ list

Developments in concurrency and communication

1990

C. A. R. Hoare

+ shelf+ list

Developments in Concurrency and Communication (The Year of Programming Series)

1991

C. A. R. Hoare

+ shelf+ list

Mechanized reasoning and hardware design

1992

C. A. R. Hoare

+ shelf+ list

Unifying theories of programming

1998

C. A. R. Hoare

+ shelf+ list

Software and systems safety: specification and verification

2011

M. Broy, Christian Leuxner, C. A. R. Hoare