C. A. R. Hoare

Born 1934-01-01

Identifiers

Open LibraryOL220593A

Top Subjects

Computers - Languages / Programming (3)
Programming - General (2)
Congresses (2)
Computer software (2)
Computer Programming (1)
4GLs (fourth generation languages) (1)
Computer Mathematics (1)

Books by C. A. R. Hoare

Total count: 17

Notes on data structuring

Queen's University of Belfast1968-01-01
Computer sciencean inaugural lecture delivered before The Queen's University of Belfast on 10 February 1971.

Queen's University1971-01-01
Operating Systems TechniquesProceedings (A.P.I.C. Studies in Data Processing, No. 9.)

Academic Pr1973-06-01
A theory of communicating sequential processes

Oxford University Computing Laboratory, Programming Research Group1981-01-01
A model for communicating sequential processes

University of Oxford Programming Research Group1981-01-01
A calculus of total correctness for communicating processes

Oxford University, Computing Laboratory, Programming Research Group1981-01-01
Programming is an engineering profession.

Oxford University Computing Laboratory, Programming Research Group1982-01-01
Algebraic specification and proof of properties of communicating sequential processes

Oxford University1985-01-01
The weakest prespecification

Univ.Oxf.Computing Lab.,Programming Research Gp.1985-01-01
Communicating sequential processes.

Prentice-Hall1985-01-01
The Mathematics of ProgrammingAn Inaugural Lecture Delivered Before the University of Oxford on 17 October 1985 (Inaugural Lectures)

Clarendon Press1986-07-01
Occam 2 Reference ManualInmos Limited (Prentice-Hall International Series in Computer Science)

Prentice Hall1988-05-01
Essays in computing science

Prentice Hall1989-01-01
Vdm '90Vdm and Z-Formal Methods in Software Development (Lecture Notes in Computer Science)

Springer1990-06-01
Developments in Concurrency and Communication (The Year of Programming Series)

Addison-Wesley Pub (Sd)1991-01-01
Unifying theories of programmingFirst edition

Prentice Hall1998-01-01
Software and systems safetyspecification and verification

IOS Press2011-01-01