C. A. R. Hoare

CA

17 featured booksC. A. R. Hoare

Bookitis has not yet captured a biography for this author, but the catalog links below show the books currently associated with this profile.

Search this author Open first work

OL220593A

Featured books

Representative editions for works actually authored by this person.

SS
Image source: Open Library
Software system reliability and security
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
Representative edition for this work grouping in the active catalog.
cover
UT
Image source: Open Library
Unifying theories of programming
Unifying theories of programming | 1998
Representative edition for this work grouping in the active catalog.
cover
MR
Image source: Open Library
Mechanized reasoning and hardware design
Mechanized reasoning and hardware design | 1992
Representative edition for this work grouping in the active catalog.
cover
DI
Image source: Open Library
Developments in Concurrency and Communication (The Year of Programming Series)
Developments in Concurrency and Communication (The Year of Programming Series) | 1991
Representative edition for this work grouping in the active catalog.
cover
V'
Image source: Open Library
VDM '90
VDM '90 | 1990
Representative edition for this work grouping in the active catalog.
cover
DI
Image source: Open Library
Developments in concurrency and communication
Developments in concurrency and communication | 1990
Representative edition for this work grouping in the active catalog.
cover
EI
Image source: Open Library
Essays in computing science
Essays in computing science | 1989
Representative edition for this work grouping in the active catalog.
cover
O2
Image source: Open Library
Occam 2 Reference Manual
Occam 2 Reference Manual | 1988
Representative edition for this work grouping in the active catalog.
cover
CS
Image source: Open Library
Communicating sequential processes
Communicating sequential processes. | 1985
Representative edition for this work grouping in the active catalog.
cover
ML
Image source: Open Library
Mathematical logic and programming languages
Mathematical logic and programming languages | 1985
Representative edition for this work grouping in the active catalog.
cover
OS
Image source: Open Library
Operating systems techniques
Operating Systems Techniques | 1973
Representative edition for this work grouping in the active catalog.
cover
Software and systems safetyC. A. R. Hoare
SA
Software and systems safety
Software and systems safety | 2011
Representative edition for this work grouping in the active catalog.
no cover
Scientific applications of mult...C. A. R. Hoare
SA
Scientific applications of multiprocessors
Scientific applications of multiprocessors | 1989
Representative edition for this work grouping in the active catalog.
no cover
The Mathematics of ProgrammingC. A. R. Hoare
TM
The Mathematics of Programming
The Mathematics of Programming | 1986
Representative edition for this work grouping in the active catalog.
no cover
Algebraic specification and pro...C. A. R. Hoare
AS
Algebraic specification and proof of properties of communicating sequential processes
Algebraic specification and proof of properties of communicating sequential processes | 1985
Representative edition for this work grouping in the active catalog.
no cover
The weakest prespecificationC. A. R. Hoare
TW
The weakest prespecification
The weakest prespecification | 1985
Representative edition for this work grouping in the active catalog.
no cover
Computer scienceC. A. R. Hoare
CS
Computer science
Computer science | 1971
Representative edition for this work grouping in the active catalog.
no cover

Works in catalog

Quick navigation into the work-level grouping pages behind the featured books.

Software system reliability and security
Representative edition published 2007
Open Work
Unifying theories of programming
Representative edition published 1998
Open Work
Mechanized reasoning and hardware design
Representative edition published 1992
Open Work
Developments in Concurrency and Communication (The Year of Programming Series)
Representative edition published 1991
Open Work
VDM '90
Representative edition published 1990
Open Work
Developments in concurrency and communication
Representative edition published 1990
Open Work
Essays in computing science
Representative edition published 1989
Open Work
Occam 2 Reference Manual
Representative edition published 1988
Open Work
Communicating sequential processes
Representative edition published 1985
Open Work
Mathematical logic and programming languages
Representative edition published 1985
Open Work
Operating systems techniques
Representative edition published 1973
Open Work
Software and systems safety
Representative edition published 2011
Open Work
Scientific applications of multiprocessors
Representative edition published 1989
Open Work
The Mathematics of Programming
Representative edition published 1986
Open Work
Algebraic specification and proof of properties of communicating sequential processes
Representative edition published 1985
Open Work
The weakest prespecification
Representative edition published 1985
Open Work
Computer science
Representative edition published 1971
Open Work

C. A. R. Hoare

Overview

Catalog identity

Featured books

Works in catalog