Computer Science by Hoare, C

Mathematical Models for Computing Science by Hoare, C

Linking Theories in Computing Science by Hoare, C

Mathematical models for computing science by Hoare, C

Unification of Theories: A Challenge for Computing Science by Hoare, C

A mathematical theory of communicating processes by Roscoe, A, A.W. Roscoe

Subjects: “…Computer science (mathematics)…”

Professionalism by Hoare, C

Editorial by Hoare, C

Assertions by Hoare, C

The Mathematics of Programming by Hoare, C

Data Reliability by Hoare, C

Unified Theories of Programming by Hoare, C

An Experiment in the Reduction of References by Hoare, C

A Parable of Standardization by Hoare, C

Responses to Turing Lecture‚ and CARH's replies by Hoare, C

Programming: Sorcery or Science by Hoare, C

A Model Paging System by Hoare, C

Note about predicate transformers by Hoare, C

Historic documents by Hoare, C

Probability by Hoare, C