Hoare, R.W.M. books & textbook
Logic of Programming and Calculi of Discrete Design: International Summer School directed by F.L. Bauer, M. Broy, E.W. Dijkstra, C.A.R. Hoare (NATO ASI Subseries F:)
Broy, Manfred Bauer, F. Broy, M.- Dijkstra, E.W. Hoare, C.A.R.
Springer /2012-04-09 Paperback / 422 Pages
isbn-10: 3642873766 / isbn-13: 9783642873768
Pollution in the Urban Environment-POLMET 85
Chan, M.W.H. Hoare, R.W.M. Holmes, P.R. Law, R.J.S. Reed, S.B.
CRC Press /1990-12-31 Hardcover
isbn-10: 085334406X / isbn-13: 9780853344063
