C. A. R. Hoare profile picture

C. A. R. Hoare

Is this your author profile? Create an account to customize it!

Stand Alone

Vzaimodejstvujus c ie posledovatel'nye processy
Occam 2 Reference Manual
Unifying theories of programming
Communicating sequential processes
Essays in computing science
Structured Programming
Structured Programming
Mathematical logic and programming languages
VDM '90 VDM and Z -- Formal Methods in Software Development
Laws of Programming
Unifying theories of programming
Vdm '90: Vdm and Z-Formal Methods in Software Development (Lecture Notes in Computer Science)
Software and systems safety