C. A. R. Hoare
C. A. R. Hoare
1934
3 books in the database
Books
Developments in Concurrency and Communication (The Year of Programming Series)C. A. R. Hoare
Developments in Concurrency and Communication (The Year of Programming Series)
C. A. R. Hoare · 1991
Occam 2 Reference ManualC. A. R. Hoare
Occam 2 Reference Manual
C. A. R. Hoare · 1988
The Mathematics of ProgrammingC. A. R. Hoare
The Mathematics of Programming
C. A. R. Hoare · 1986
Co-authored books and collections
Books that list C. A. R. Hoare among their authors but not as the lead author: co-written works, collections and compilations.
VDM '90VDM-Europe. International Symposium
VDM '90
VDM-Europe. International Symposium · 1990
Software system reliability and securityM. Broy
Software system reliability and security
M. Broy · 2007
Operating systems techniquesInternational Seminar on Operating Systems Techniques (1971 Queen's University of Belfast)
Operating systems techniques
International Seminar on Operating Systems Techniques (1971 Queen's University of Belfast) · 1973
Software and systems safetyM. Broy
Software and systems safety
M. Broy · 2011