It looks like you're offline.

Last edited by RenameBot

September 7, 2008 | History

Edit

C. A. R. Hoare

We need a photo of C. A. R. Hoare

Born

1934

22 works Add another?

Most Editions

Most Editions First Published Most Recent Top Rated Reading Log Trending Random

Details Grid — Show only ebooks?

Operating Systems Techniques: Proceedings (A.P.I.C. Studies in Data Processing, No. 9.)

by International Seminar on Operating Syste..., International Seminar on Operating Syste..., Ronald H. Perrott, and C. A. R. Hoare First published in 1972 — 3 editions

Locate

My Reading Lists:

Create a new list

Create a new list
×Close

Name:

Description:

Cancel
Preview

Preview Book
×Close

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

by C. A. R. Hoare First published in 1988 — 2 editions
Borrow

Listen

Locate
My Reading Lists:

Create a new list
Preview

Communicating sequential processes

by C. A. R. Hoare First published in 1985 — 2 editions

Locate

My Reading Lists:

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

by C. A. R. Hoare First published in 1971 — 2 editions

Locate

My Reading Lists:

Create a new list
Preview

Essays in computing science

by C. A. R. Hoare First published in 1989 — 2 editions
Borrow

Listen

Locate
My Reading Lists:

Create a new list
Vdm '90: Vdm and Z-Formal Methods in Software Development (Lecture Notes in Computer Science)

by VDM-Europe. International Symposium, D. Bjorner, and C. A. R. Hoare First published in 1990 — 2 editions

Locate

My Reading Lists:

Create a new 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)

by M. Broy and C. A. R. Hoare First published in 2007 — 2 editions

Locate

My Reading Lists:

Create a new list
Mechanized reasoning and hardware design

by C. A. R. Hoare First published in 1992 — 1 edition

Locate

My Reading Lists:

Create a new list
Mathematical logic and programming languages

by C. A. R. Hoare First published in 1985 — 1 edition

Locate

My Reading Lists:

Create a new list
Preview

Developments in concurrency and communication

by C. A. R. Hoare First published in 1990 — 1 edition
Borrow

Listen

Locate
My Reading Lists:

Create a new list
Algebraic specification and proof of properties of communicating sequential processes

by C. A. R. Hoare First published in 1985 — 1 edition

Locate

My Reading Lists:

Create a new list
calculus of total correctness for communicating processes

by C. A. R. Hoare First published in 1981 — 1 edition

Locate

My Reading Lists:

Create a new list
Developments in Concurrency and Communication (The Year of Programming Series)

by C. A. R. Hoare First published in 1991 — 1 edition

Locate

My Reading Lists:

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

by C. A. R. Hoare First published in 1986 — 1 edition

Locate

My Reading Lists:

Create a new list
model for communicating sequential processes

by C. A. R. Hoare First published in 1981 — 1 edition

Locate

My Reading Lists:

Create a new list
Notes on data structuring

by C. A. R. Hoare First published in 1968 — 1 edition

Locate

My Reading Lists:

Create a new list
Programming is an engineering profession.

by C. A. R. Hoare First published in 1982 — 1 edition

Locate

My Reading Lists:

Create a new list
theory of communicating sequential processes

by C. A. R. Hoare First published in 1981 — 1 edition

Locate

My Reading Lists:

Create a new list
The weakest prespecification

by C. A. R. Hoare First published in 1985 — 1 edition

Locate

My Reading Lists:

Create a new list
Software and systems safety: specification and verification

by M. Broy, Christian Leuxner, and C. A. R. Hoare First published in 2011 — 1 edition

Locate

My Reading Lists:

Create a new list

We need a photo of C. A. R. Hoare

Born

1934

Add to List

My Reading Lists:

Create a new list

ID Numbers

OLID: OL220593A

Links outside Open Library

No links yet. Add one?

History

Created April 1, 2008
2 revisions

Download catalog record: RDF / JSON

September 7, 2008	Edited by RenameBot	fix author name
April 1, 2008	Created by an anonymous user	initial import