R.Hoare books & textbook
Edsger Wybe Dijkstra: His Life, Work, and Legacy (Acm Books)
ACM Books /2022-07-14 Paperback / 574 Pages
isbn-10: 1450397719 / isbn-13: 9781450397711
Structured Programming
Edsger Wybe Dijkstra C. A. R. Hoare Ole-Johan Dahl
Academic Press /1972-02-11 Hardcover / 418 Pages
isbn-10: 0122005503 / isbn-13: 9780122005503
Poems With Power to Strengthen the Soul (Classic Reprint)
Forgotten Books /2012-07-29 Paperback / 320 Pages
Eight Decisive Books of Antiquity (Dorset Classic Reprints)
Marboro Books /1991T Hardcover / 266 Pages
isbn-10: 0880296054 / isbn-13: 9780880296052
The Western Fathers: Being the Lives of SS. Martin of Tours, Ambrose, Augustine of Hippo, Honoratus of Arles & Germanus etc.
Sheed and Ward /1954T Hardcover / 320 Pages
Mathematical Logic and Programming Languages (Prentice-hall International Series in Computer Science)
Hoare, C. A. R. Shepherdson, J. C.
Prentice Hall /1985T Hardcover / 165 Pages
isbn-10: 0135614651 / isbn-13: 9780135614655
The B-Book: Assigning Programs to Meanings
Abrial, J. R. Hoare, A. Chapron, Pierre
Cambridge University Press /2005-11-03 Paperback / 816 Pages
isbn-10: 0521021758 / isbn-13: 9780521021753
Downstream Processing (Advances in Biochemical Engineering/Biotechnology)
Bell, D. J. Dunnill, P. Esser, K. Flaschel, E. Hoare, M. Holló, J. Kula, M.-R. Lang-Hinrichs, Ch. Nyeste, L. Pécs, M. Sevella, B. Wandrey, Ch.
Springer /1983-01-01 Paperback / 219 Pages
isbn-10: 3662387948 / isbn-13: 9783662387948
Communicating Sequential Processes (Prentice-hall International Series in Computer Science)
Prentice Hall /1985-01-01 Paperback / 256 Pages
isbn-10: 0131532898 / isbn-13: 9780131532892
Essays in Computing Science (Prentice-hall International Series in Computer Science)
Prentice Hall /1989T Hardcover / 432 Pages
isbn-10: 0132840278 / isbn-13: 9780132840279