[SIGCIS-Members] ACM Volumes on Dijkstra and Hoare

Cliff Jones cliff.jones at newcastle.ac.uk
Thu Aug 25 13:23:04 PDT 2022

ACM is having books produced on Turing Laureates - the most recent (I think) is on Edsger Dijkstra:

Coupled with that on Tony Hoare:

a whole resource of material on “formal methods” is available

cliff jones

More information about the Members mailing list