Books by C.A.R. Hoare
VDM '90 VDM and Z -- Formal Methods in Software Development
1990
Logic of Programming and Calculi of Discrete Design
1987
Communicating Sequential Processes
2021
VDM '90. VDM and Z - Formal Methods in Software Development
2014
Vzaimodejstvujus c ie posledovatel'nye processy
1989
Can't find the book you're looking for? Let us know — it helps us improve.