1934 – 2026
Charles Antony Richard Hoare, detto Tony, è stato un informatico britannico.
Fonte Wikipedia (si apre in una nuova scheda) · licenza CC BY-SA 4.0
Pubblicato in Inglese
Per saperne di più: Wikipedia (si apre in una nuova scheda) · Open Library (si apre in una nuova scheda)
Communicating sequential processes
1985
Software and systems safety
2011
Unifying theories of programming
1998
The weakest prespecification
The Mathematics of Programming
1986
Structured Programming
2012
Software system reliability and security
2007
Scientific applications of multiprocessors
1989
Operating systems techniques
1973
Occam 2 Reference Manual
1988
Mechanized reasoning and hardware design
1992
Mathematical logic and programming languages
Essays in computing science
Developments in concurrency and communication
1990
Control Flow and Data Flow
Algebraic specification and proof of properties of communicating sequential processes
Otium
