Skip to content
Vinony

C. A. R. Hoare

No biography available.

Works (8)

Cover of Essays in computing science
Essays in computing science
1989
Cover of Communicating sequential processes
Communicating sequential processes
1985
Cover of Mechanized reasoning and hardware design
Mechanized reasoning and hardware design
Cover of Occam 2 Reference Manual
Occam 2 Reference Manual
May 1988
Cover of Mathematical logic and programming languages
Mathematical logic and programming languages
Cover of Software system reliability and security
Software system reliability and security
Cover of VDM '90
VDM '90
Cover of Operating systems techniques
Operating systems techniques