Books by C.A.R. Hoare

Cover of VDM '90 VDM and Z -- Formal Methods in Software Development

VDM '90 VDM and Z -- Formal Methods in Software Development

by C.A.R. Hoare

1990

Cover of Logic of Programming and Calculi of Discrete Design

Logic of Programming and Calculi of Discrete Design

by F. Bauer, M. Broy, Edsger Wybe Dijkstra, C.A.R. Hoare

1987

Cover of Communicating Sequential Processes

Communicating Sequential Processes

by C.A.R. Hoare

2021

Cover of VDM '90. VDM and Z - Formal Methods in Software Development

VDM '90. VDM and Z - Formal Methods in Software Development

by Dines Bjørner, C.A.R. Hoare, Hans Langmaack

2014

Cover of Vzaimodejstvujus c ie posledovatel'nye processy

Vzaimodejstvujus c ie posledovatel'nye processy

by C.A.R. Hoare

1989

Can't find the book you're looking for? Let us know — it helps us improve.